Hosil algebra (mavhum algebra) - Derivative algebra (abstract algebra)

Yilda mavhum algebra, a lotin algebra bu algebraik tuzilish imzo

<A, ·, +, ', 0, 1, D.>

qayerda

<A, ·, +, ', 0, 1>

a Mantiqiy algebra va D. a yagona operator, lotin operatori, shaxsiyatni qondiradigan:

  1. 0D. = 0
  2. xDD ≤ x + xD.
  3. (x + y)D. = xD. + yD..

xD. deyiladi lotin x ning Hosil algebralar ning algebraik abstraktsiyasini ta'minlaydi olingan to'plam operator topologiya. Ular ham bir xil rol o'ynaydi uchun modal mantiq wK4 = K + p∧?p → ??p bu Mantiqiy algebralar oddiy uchun o'ynang taklif mantig'i.

Adabiyotlar

  • Esakiya, L., Topologiya orqali intuitivistik mantiq va modallik, Soflar va amaliy mantiq yilnomalari, 127 (2004) 155-170
  • McKinsey, JCC va Tarski, A., Topologiya algebrasi, Matematika yilnomalari, 45 (1944) 141-191