WikiDer > Algebraik semantika (matematik mantiq) - Vikipediya

Algebraic semantics (mathematical logic) - Wikipedia

Yilda matematik mantiq, algebraik semantika a rasmiy semantik qismi sifatida o'rganilgan algebralarga asoslangan algebraik mantiq. Masalan, modal mantiq S4 klassi bilan tavsiflanadi topologik boolean algebralari- bu mantiqiy algebralar bilan ichki operator. Boshqa modal mantiq operatorlar bilan boshqa har xil algebralar bilan tavsiflanadi. Sinf mantiqiy algebralar xarakterlaydi klassik taklif mantig'iva sinf Heyge algebralari taklif intuitivistik mantiq. MV-algebralar ning algebraik semantikasi Asukasiewicz mantiqi.

Shuningdek qarang

Qo'shimcha o'qish

  • Xosep Mariya shrifti; Ramon Jansana (1996). Sententsial mantiq uchun umumiy algebraik semantik. Springer-Verlag. ISBN 9783540616993. (2-nashr tomonidan nashr etilgan ASL 2009 yilda) ochiq kirish da Evklid loyihasi
  • V.J.Blok; Don Pigozzi (1989). Algebraizable mantiq. Amerika matematik jamiyati. ISBN 0821824597.
  • Yanush Chezakovskiy (2001). Protoalgebraik mantiq. Springer. ISBN 9780792369400.
  • J. Maykl Dann; Gari M. Xardegri (2001). Falsafiy mantiqdagi algebraik usullar. Oksford universiteti matbuoti. ISBN 9780198531920. Oldindan ta'sirlangan o'quvchilar uchun yaxshi kirish klassik bo'lmagan mantiq lekin juda ko'p ma'lumotsiz tartib nazariyasi va / yoki universal algebra; kitobda ushbu old shartlar uzoq yoritilgan. Biroq, kitob mavhum algebraik mantiq natijalarini yomon va ba'zan noto'g'ri taqdim etgani uchun tanqid qilindi. [1]