Update to ``A survey of abstract algebraic logic

DOI10.1007/s11225-009-9169-2zbMath1162.03322MaRDI QIDQ1005985

Don Pigozzi, Josep Maria Font, Ramon Jansana

Publication date: 17 March 2009

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-009-9169-2

zbMATH Keywords

quasivariety; abstract algebraic logic; finitely algebraizable logic

Mathematics Subject Classification ID

03G99: Algebraic logic

Related Items

A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS, A Mathematical Life, ALGEBRAIC LOGIC AND LOGICALLY-GEOMETRIC TYPES IN VARIETIES OF ALGEBRAS, THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE, ON EQUATIONAL COMPLETENESS THEOREMS, COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS, Constructive Modalities with Provability Smack, Inconsistency lemmas in algebraic logic, THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY, Universal algebraic methods for non-classical logics, Abstract algebraic logic. An introductory chapter, The semantic isomorphism theorem in abstract algebraic logic, The proof by cases property and its variants in structural consequence relations, A note on congruences of semilattices with sectionally finite height., A note on natural extensions in abstract algebraic logic, On the complexity of the Leibniz hierarchy, Extension properties and subdirect representation in abstract algebraic logic, Epimorphism surjectivity in varieties of Heyting algebras, Epimorphisms, definability and cardinalities, An algebraic study of exactness in partial contexts, A new hierarchy of infinitary logics in abstract algebraic logic, Epimorphisms in varieties of residuated structures, Consequence and Degrees of Truth in Many-Valued Logic

Cites Work

• Fregean logics
• Characterizing equivalential and algebraizable logics by the Leibniz operator
• On the algebraizability of annotated logics
• Leibniz filters revisited
• A closer look at some subintuitionistic logics
• A survey of abstract algebraic logic
• Fregean logics with the multiterm deduction theorem and their algebraization
• Equivalence of consequence operations
• On the closure properties of the class of full G-models of a deductive system
• Equivalential and algebraizable logics
• Algebraizable logics
• Protoalgebraic logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item