Abstract algebraic logic

DOI10.1007/3-540-49253-4_2MaRDI QIDQ4250358zbMATH OpenFDO

Authors Don Pigozzi

Publication date 17 June 1999

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-49253-4_2

zbMATH Keywords

abstract algebraic logicalgebraic semanticsdeductive systemsLindenbaum-Tarski algebramatrix semantics

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Other algebras related to logic (03G25)

Review text

The classical method of associating a class of algebras with a logical system is that of Lindenbaum and Tarski. It can be applied to any system with a biconditional \(\leftrightarrow\) that is compositional in the sense that it defines a congruence relation on the absolutely free algebra of formulas. The method has been abstracted to provide effective criteria for the algebraizability of a large class of formal systems. One consequence of this work is a uniform method of providing a formal system with algebraic semantics. In this paper, the main features of the theory of abstract algebraic logic and one of its potential applications are surveyed. For the entire collection see [Zbl 0906.00024].

Recommendations

• A survey of abstract algebraic logic
• Algebraizable logics
• Algebraic logic
• A perspective on the algebra of logic
• Abstract algebraic logic. An introductory textbook

Cited in

(19)

• Update to ``A survey of abstract algebraic logic
• A survey of abstract algebraic logic
• Algebraic semantics for deductive systems
• Abstract logics, logic maps, and logic homomorphisms
• Algebraic logic
• Definability issues in universal logic
• scientific article; zbMATH DE number 5910661 (Why is no real title available?)
• What is abstract algebraic logic?
• The semantic isomorphism theorem in abstract algebraic logic
• A logical approach to abstract algebra
• scientific article; zbMATH DE number 4135919 (Why is no real title available?)
• Algebraizable logics
• scientific article; zbMATH DE number 125238 (Why is no real title available?)
• On the Sentential Logics Associated with Strongly Nice and Semi-Nice General Logics
• A mathematical life
• scientific article; zbMATH DE number 1852925 (Why is no real title available?)
• Logical algebras as formal systems: H. B. Curry's approach to algebraic logic
• Bloom, Brown and Suszko's work on abstract logics
• scientific article; zbMATH DE number 3323811 (Why is no real title available?)

This page was built for publication: Abstract algebraic logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4250358)