On pretabular extensions of relevance logic

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)