On pretabular extensions of relevance logic
From MaRDI portal
Publication:6636375
DOI10.1007/S11225-023-10081-2MaRDI QIDQ6636375
Asadollah Fallahi, James Gordon Raftery
Publication date: 12 November 2024
Published in: Studia Logica (Search for Journal in Brave)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- The subvariety lattice for representable idempotent commutative residuated lattices
- Completeness of relevant quantification theories
- On the structure of varieties with equationally definable principal congruences. II
- Connections between congruence-lattices and polynomial properties
- There are \(2^{\aleph_ 0}\) logics with the relevance principle between R and RM
- Residuated lattices. An algebraic glimpse at substructural logics
- Equivalents for a quasivariety to be generated by a single structure
- On the structure of De Morgan monoids with corollaries on relevant logic and theories
- Uniform congruence schemes
- Pretabular varieties of modal algebras
- Pretabular extensions of Lewis S4
- Varieties of De Morgan monoids: minimality and irreducible algebras
- Rule separation and embedding theorems for logics without weakening
- On the structure of varieties with equationally definable principal congruences. I
- A pretabular classical relevance logic
- Pretabular superintuitionistic logic
- Craig interpolation for semilinear substructural logics
- Modalities in Ackermann's “rigorous implication”
- LC and Its Pretabular Relatives
- Note on algebraic models for relevance logic
- Structural Completeness in Substructural Logics
- 3088 varieties: A solution to the Ackermann constant problem
- Algebraizable logics
- Weak Injectivity and Congruence Extension in Congruence-Distributive Equational Classes
- Five critical modal systems
- Deduction theorems within RM and its extensions
- VARIETIES OF DE MORGAN MONOIDS: COVERS OF ATOMS
- Two pretabular linear extensions of relevance logic R
- Conserving involution in residuated structures
- There exists an uncountable set of pretabular extensions of the relevant logic R and each logic of this set is generated by a variety of finite height
- Algebras Whose Congruence Lattices are Distributive.
- Some remarks on the consequence operation in sentential logics
- Algebraic completeness results for R-mingle and its extensions
- Algebraic Completeness Results for Dummett's LC and Its Extensions
This page was built for publication: On pretabular extensions of relevance logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6636375)