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 la lógica proposicional clásica y la clase de álgebras de Heyting lógica intuicionista proposicional . MV-álgebras son la semántica algebraica deLógica Łukasiewicz .
Ver también
Otras lecturas
- Josep Maria Font; Ramón Jansana (1996). Una semántica algebraica general para lógicas oracionales . Springer-Verlag. ISBN 9783540616993.(2do publicado por ASL en 2009) acceso abierto en Project Euclid
- WJ Blok; Don Pigozzi (1989). Lógicas algebraizables . Sociedad Matemática Estadounidense. 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 . Prensa de la Universidad de Oxford. ISBN 9780198531920.Buena introducción para lectores con exposición previa a lógicas no clásicas pero sin mucha experiencia en 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]