Semântica algébrica (lógica matemática) - Algebraic semantics (mathematical logic)

Na lógica matemática , a semântica algébrica é uma semântica formal baseada em álgebras estudadas como parte da lógica algébrica . Por exemplo, a lógica modal S4 é caracterizada pela classe de álgebras booleanas topológicas - isto é, álgebras booleanas com um operador interior . Outras lógicas modais são caracterizadas por várias outras álgebras com operadores. A classe de álgebras booleanas caracteriza lógica proposicional clássica , ea classe de Heyting álgebras proposicional lógica intuicionista . MV-álgebras são a semântica algébrica da lógica de Łukasiewicz .

Veja também

Leitura adicional

  • Josep Maria Font; Ramón Jansana (1996). Uma semântica algébrica geral para lógicas sentenciais . Springer-Verlag. ISBN 9783540616993.(2 ° publicado pela ASL em 2009) acesso aberto no Projeto Euclides
  • WJ Blok; Don Pigozzi (1989). Lógicas algebraizáveis . American Mathematical Society. ISBN 0821824597.
  • Janusz Czelakowski (2001). Lógica protoalgébrica . Springer. ISBN 9780792369400.
  • J. Michael Dunn; Gary M. Hardegree (2001). Métodos algébricos em lógica filosófica . Imprensa da Universidade de Oxford. ISBN 9780198531920.Boa introdução para leitores com experiência anterior em lógicas não clássicas, mas sem muito conhecimento em teoria da ordem e / ou álgebra universal ; o livro cobre esses pré-requisitos detalhadamente. O livro, no entanto, foi criticado pela apresentação pobre e às vezes incorreta dos resultados da lógica algébrica abstrata. [1]
Ícone de esboço

Este artigo relacionado à lógica matemática é um esboço . Você pode ajudar a Wikipedia expandindo-a .