Algebraická sémantika (matematická logika) - Algebraic semantics (mathematical logic) - Wikipedia

v matematická logika, algebraická sémantika je formální sémantika na základě algeber studovaných jako součást algebraická logika. Například modální logika S4 se vyznačuje třídou topologické booleovské algebry —To znamená, booleovské algebry s operátor interiéru. Ostatní modální logiky jsou charakterizovány různými jinými algebrami s operátory. Třída booleovské algebry charakterizuje klasická výroková logika a třída Ahoj algebry propoziční intuicionistická logika. MV-algebry jsou algebraická sémantika Łukasiewiczova logika.

Viz také

Další čtení

  • Josep Maria Font; Ramón Jansana (1996). Obecná algebraická sémantika pro sentenciální logiku. Springer-Verlag. ISBN  9783540616993. (2. publikováno ASL v roce 2009) otevřený přístup v Projekt Euclid
  • W. J. Blok; Don Pigozzi (1989). Algebraizovatelná logika. Americká matematická společnost. ISBN  0821824597.
  • Janusz Czelakowski (2001). Protoalgebraická logika. Springer. ISBN  9780792369400.
  • J. Michael Dunn; Gary M. Hardegree (2001). Algebraické metody ve filozofické logice. Oxford University Press. ISBN  9780198531920. Dobrý úvod pro čtenáře s předchozí expozicí neklasická logika ale bez velkého pozadí v teorie objednávek a / nebo univerzální algebra; kniha tyto předpoklady podrobně pokrývá. Kniha však byla kritizována za špatnou a někdy nesprávnou prezentaci abstraktních algebraických logických výsledků. [1]