Semántica formal basada en álgebras
En lógica matemática , la semántica algebraica es una semántica formal basada en álgebras estudiadas como parte de la lógica algebraica . Por ejemplo, la lógica modal S4 se caracteriza por la clase de álgebras booleanas topológicas —es decir, álgebras booleanas con un operador interior— . Otras lógicas modales se caracterizan por varias otras álgebras con operadores. La clase de álgebras booleanas caracteriza a la lógica proposicional clásica , y la clase de álgebras de Heyting a la lógica intuicionista proposicional . Las MV-álgebras son la semántica algebraica de la lógica de Łukasiewicz .
Véase también
Lectura adicional
- Josep María Font; Ramón Jansana (1996). "Una semántica algebraica general para la lógica oracional" . Springer-Verlag. ISBN 9783540616993.(2º publicado por ASL en 2009) acceso abierto en Project Euclid
- WJ Blok; Don Pigozzi (1989). Lógicas algebrables . Sociedad Matemática Americana. ISBN 0821824597.
- Janusz Czelakowski (2001). Lógicas protoalgebraicas . Saltador. ISBN 9780792369400.
- J. Michael Dunn; Gary M. Hardegree (2001). Métodos algebraicos en lógica filosófica . Oxford University Press. ISBN 9780198531920.Buena introducción para lectores con experiencia previa en lógicas no clásicas pero sin muchos conocimientos de teoría de órdenes y/o álgebra universal ; el libro cubre estos requisitos previos en profundidad. Sin embargo, el libro ha sido criticado por la presentación deficiente y a veces incorrecta de los resultados de la lógica algebraica abstracta. [1]
