Update to ``A survey of abstract algebraic logic
From MaRDI portal
Publication:1005985
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
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
