Algebraic semantics (mathematical logic)

From Infogalactic: the planetary knowledge core
(Redirected from Boolean-valued semantics)
Jump to: navigation, search

Lua error in package.lua at line 80: module 'strict' not found. Lua error in package.lua at line 80: module 'strict' not found.

In mathematical logic, algebraic semantics is a formal semantics based on algebras studied as part of algebraic logic. For example, the modal logic S4 is characterized by the class of topological boolean algebras—that is, boolean algebras with an interior operator. Other modal logics are characterized by various other algebras with operators. The class of boolean algebras characterizes classical propositional logic, and the class of Heyting algebras propositional intuitionistic logic.

Further reading

  • Lua error in package.lua at line 80: module 'strict' not found. (2nd published by ASL in 2009) open access at Project Euclid
  • Lua error in package.lua at line 80: module 'strict' not found.
  • Lua error in package.lua at line 80: module 'strict' not found.
  • Lua error in package.lua at line 80: module 'strict' not found. Good introduction for readers with prior exposure to non-classical logics but without much background in order theory and/or universal algebra; the book covers these prerequisites at length. The book however has been criticized for poor and sometimes incorrect presentation of AAL results. [1]

<templatestyles src="Asbox/styles.css"></templatestyles>