Update to ``A survey of abstract algebraic logic
From MaRDI portal
Publication:1005985
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
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, Constructive Modalities with Provability Smack, Inconsistency lemmas in algebraic logic, 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, 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
- 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