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 otras álgebras con operadores. La clase de álgebras booleanas caracteriza la lógica proposicional clásica , y la clase de álgebras de Heyting caracteriza la lógica intuicionista proposicional . Las álgebras MV son la semántica algebraica de la lógica de Łukasiewicz .
Ver también
Otras lecturas
- Josep María Font; Ramón Jansana (1996). "Una semántica algebraica general para la lógica oracional" . Springer-Verlag. ISBN 9783540616993.(Segundo 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. Hargrado (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 la lógica no clásica pero sin mucha experiencia en teoría del orden y/o álgebra universal ; El libro cubre estos requisitos previos en detalle. El libro, sin embargo, ha sido criticado por la presentación deficiente y, a veces, incorrecta de los resultados de la lógica algebraica abstracta. [1]