In
mathematical logic
Mathematical logic is the study of formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory. Research in mathematical logic commonly addresses the mathematical properties of formal ...
, 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 algebra In mathematics, a Heyting algebra (also known as pseudo-Boolean algebra) is a bounded lattice (with join and meet operations written ∨ and ∧ and with least element 0 and greatest element 1) equipped with a binary operation ''a'' → ''b'' of '' ...
s propositional
intuitionistic logic
Intuitionistic logic, sometimes more generally called constructive logic, refers to systems of symbolic logic that differ from the systems used for classical logic by more closely mirroring the notion of constructive proof. In particular, system ...
.
MV-algebra In abstract algebra, a branch of pure mathematics, an MV-algebra is an algebraic structure with a binary operation \oplus, a unary operation \neg, and the constant 0, satisfying certain axioms. MV-algebras are the algebraic semantics of Łukasie ...
s are the algebraic semantics of
Łukasiewicz logic.
See also
*
Algebraic semantics (computer science)
*
Lindenbaum–Tarski algebra
In mathematical logic, the Lindenbaum–Tarski algebra (or Lindenbaum algebra) of a logical theory ''T'' consists of the equivalence classes of sentences of the theory (i.e., the quotient, under the equivalence relation ~ defined such that ''p' ...
Further reading
* (2nd published by
ASL in 2009
open accessat
Project Euclid
*
*
* Good introduction for readers with prior exposure to
non-classical logic Non-classical logics (and sometimes alternative logics) are formal systems that differ in a significant way from standard logical systems such as propositional and predicate logic. There are several ways in which this is done, including by way of ...
s but without much background in
order theory
Order theory is a branch of mathematics that investigates the intuitive notion of order using binary relations. It provides a formal framework for describing statements such as "this is less than that" or "this precedes that". This article intr ...
and/or
universal algebra
Universal algebra (sometimes called general algebra) is the field of mathematics that studies algebraic structures themselves, not examples ("models") of algebraic structures.
For instance, rather than take particular Group (mathematics), groups as ...
; the book covers these prerequisites at length. The book, however, has been criticized for poor and sometimes incorrect presentation of abstract algebraic logic results
Mathematical logic
{{mathlogic-stub