ON EQUATIONAL COMPLETENESS THEOREMS

DOI10.1017/jsl.2021.67OpenAlexW3201305323WikidataQ113858284 ScholiaQ113858284MaRDI QIDQ5052010

Tommaso Moraschini

Publication date: 18 November 2022

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2107.05069

zbMATH Keywords

abstract algebraic logicalgebraic semanticsalgebraizable logicprotoalgebraic logiccompleteness theoremequational consequence

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Equational logic, Mal'tsev conditions (08B05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Intermediate logics (03B55) Abstract algebraic logic (03G27)

Related Items (2)

AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS ⋮ 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
• Residuated lattices. An algebraic glimpse at substructural logics
• Update to ``A survey of abstract algebraic logic
• Algebraic aspects of deduction theorems
• Local deductions theorems
• A propositional logic with explicit fixed points
• On reduced matrices
• Speaking about transitive frames in propositional languages
• Tools and techniques in modal logic
• Syntactical investigations into \(BI\) logic and \(BB^ \prime I\) logic
• A closer look at some subintuitionistic logics
• Algebraic semantics for deductive systems
• The Suszko operator. I
• A computational glimpse at the Leibniz and Frege hierarchies
• On the complexity of the Leibniz hierarchy
• Positive modal logic
• The poset of all logics. III: Finitely presentable logics
• A perspective on the algebra of logic
• Ordering protoalgebraic logics
• ASSERTIONALLY EQUIVALENT QUASIVARIETIES
• Algebraizable logics
• Solution to the P − W problem
• Weakly algebraizable logics
• Reducing Modal Consequence Relations
• A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS
• Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic
• THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE
• Logic and Implication
• The simplest protoalgebraic logic
• THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY
• Protoalgebraic logics

This page was built for publication: ON EQUATIONAL COMPLETENESS THEOREMS