Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic

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

zbMATH Keywords

abstract algebraic logictruth-equational logicsLeibniz hierarchyFrege hierarchyassertional logicsFregean logicsfull generalized modelsunital matrices

Mathematics Subject Classification ID

Abstract deductive systems (03B22) Abstract algebraic logic (03G27)

Related Items (8)

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

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

This page was built for publication: Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic