Update to ``A survey of abstract algebraic logic

DOI10.1007/S11225-009-9169-2zbMath1162.03322OpenAlexW1965284799MaRDI 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

quasivarietyabstract algebraic logicfinitely algebraizable logic

Mathematics Subject Classification ID

Algebraic logic (03G99)

Related Items (23)

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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

This page was built for publication: Update to ``A survey of abstract algebraic logic