The algebraic significance of weak excluded middle laws
From MaRDI portal
Publication:6094135
DOI10.1002/malq.202100046zbMath1521.03255arXiv2108.09168OpenAlexW4210617109MaRDI QIDQ6094135
James G. Raftery, Tomáš Lávička, Tommaso Moraschini
Publication date: 12 September 2023
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2108.09168
Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Subsystems of classical logic (including intuitionistic logic) (03B20) Abstract algebraic logic (03G27)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The proof by cases property and its variants in structural consequence relations
- Contextual deduction theorems
- Completeness of relevant quantification theories
- Positive Sugihara monoids
- The cardinality of subdirectly indecomposable systems in quasivarieties
- Algebraic aspects of deduction theorems
- Local deductions theorems
- Sentential constants in R and \(R^{\neg}\)
- Semantical investigations in Heyting's intuitionistic logic
- Theory of logical calculi. Basic theory of consequence operations
- Modal companions of intermediate propositional logics
- A lattice of normal modal logics
- Congruences and one element subalgebras
- Metamathematics of fuzzy logic
- Admissibility of logical inference rules
- Algebraic point lattices of quasivarieties
- Relative congruence formulas and decompositions in quasivarieties
- Varieties of De Morgan monoids: minimality and irreducible algebras
- Implicit definition of the quaternary discriminator
- Epimorphisms, definability and cardinalities
- The Beth property in algebraic logic
- Semisimple varieties of modal algebras
- Pseudo-complements in semi-lattices
- Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties
- Algebraizable logics
- VARIETIES OF DE MORGAN MONOIDS: COVERS OF ATOMS
- Singly generated quasivarieties and residuated structures
- Inconsistency lemmas in algebraic logic
- Modal Logics Between S 4 and S 5
- Protoalgebraic logics
This page was built for publication: The algebraic significance of weak excluded middle laws
