Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic
From MaRDI portal
Publication:4586412
DOI10.1007/978-3-319-74772-9_2zbMath1459.03099OpenAlexW2794297801MaRDI QIDQ4586412
Hugo Albuquerque, Tommaso Moraschini, Ramon Jansana, Josep Maria Font
Publication date: 13 September 2018
Published in: Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-74772-9_2
abstract algebraic logictruth-equational logicsLeibniz hierarchyFrege hierarchyassertional logicsFregean logicsfull generalized modelsunital matrices
Related Items
ON EQUATIONAL COMPLETENESS THEOREMS, A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS, The strong version of a sentential logic, An algebraic view of super-Belnap logics, Abstract algebraic logic. An introductory chapter, On the complexity of the Leibniz hierarchy, THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE, THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Fregean logics
- Canonical extensions for congruential logics with the deduction theorem
- Residuated lattices. An algebraic glimpse at substructural logics
- Cylindric algebras. Part II
- Equivalential logics. I
- On reduced matrices
- An algebraic approach to non-classical logics
- Speaking about transitive frames in propositional languages
- A survey of abstract algebraic logic
- The Suszko operator. I
- On the closure properties of the class of full G-models of a deductive system
- Beyond Rasiowa's algebraic approach to non-classical logics
- COMPATIBILITY OPERATORS IN ABSTRACT ALGEBRAIC LOGIC
- Logics Preserving Degrees of Truth from Varieties of Residuated Lattices
- Belnap's Four-Valued Logic and De Morgan Lattices
- Protoalgebraic logics
