Semántica algebraica (lógica matemática)

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 diversas álgebras con operadores. La clase de álgebras booleanas caracteriza la lógica proposicional clásica , y la clase de álgebras de Heyting la lógica intuicionista proposicional . Las álgebras MV son la semántica algebraica de la lógica de Łukasiewicz .

• Semántica algebraica (informática)
• Álgebra de Lindenbaum-Tarski

• Josep María Font; Ramón Jansana (1996). "Una semántica algebraica general para la lógica oracional" . Springer-Verlag. ISBN 9783540616993.(Segunda edición publicada por ASL en 2009) Acceso abierto en Project Euclid
• WJ Blok; Don Pigozzi (1989). Lógicas algebraizables . 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.Es una buena introducción para lectores con conocimientos previos de lógica no clásica, pero sin mucha experiencia en teoría del orden o álgebra universal ; el libro aborda estos prerrequisitos en profundidad. Sin embargo, ha sido criticado por la presentación deficiente y, en ocasiones, incorrecta de resultados de lógica algebraica abstracta.