On pretabular extensions of relevance logic
From MaRDI portal
Cites work
- 3088 varieties: A solution to the Ackermann constant problem
- A pretabular classical relevance logic
- Algebraic Completeness Results for Dummett's LC and Its Extensions
- Algebraic completeness results for R-mingle and its extensions
- Algebraizable logics
- Algebras Whose Congruence Lattices are Distributive.
- Completeness of relevant quantification theories
- Connections between congruence-lattices and polynomial properties
- Conserving involution in residuated structures
- Craig interpolation for semilinear substructural logics
- Deduction theorems within RM and its extensions
- Equivalents for a quasivariety to be generated by a single structure
- Five critical modal systems
- scientific article; zbMATH DE number 3150809 (Why is no real title available?)
- scientific article; zbMATH DE number 3504935 (Why is no real title available?)
- scientific article; zbMATH DE number 823454 (Why is no real title available?)
- scientific article; zbMATH DE number 3419181 (Why is no real title available?)
- LC and its pretabular relatives
- Modalities in Ackermann's “rigorous implication”
- Note on algebraic models for relevance logic
- On the structure of De Morgan monoids with corollaries on relevant logic and theories
- On the structure of varieties with equationally definable principal congruences. I
- On the structure of varieties with equationally definable principal congruences. II
- Pretabular extensions of Lewis S4
- Pretabular superintuitionistic logic
- Pretabular varieties of modal algebras
- Residuated lattices. An algebraic glimpse at substructural logics
- Rule separation and embedding theorems for logics without weakening
- Some remarks on the consequence operation in sentential logics
- Structural Completeness in Substructural Logics
- The subvariety lattice for representable idempotent commutative residuated lattices
- There are \(2^{\aleph_ 0}\) logics with the relevance principle between R and RM
- 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
- Two pretabular linear extensions of relevance logic R
- Uniform congruence schemes
- Universal algebra. Fundamentals and selected topics
- Varieties of De Morgan monoids: covers of atoms
- Varieties of De Morgan monoids: minimality and irreducible algebras
- Weak Injectivity and Congruence Extension in Congruence-Distributive Equational Classes
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)
