There exist exactly two maximal strictly relevant extensions of the relevant logic R

DOI10.2307/2586622zbMath0947.03029OpenAlexW2151688424MaRDI QIDQ4934032

Kazimierz Świrydowicz

Publication date: 7 March 2000

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

Full work available at URL: https://doi.org/10.2307/2586622

zbMATH Keywords

relevant logicrelevance principlestrictly relevant extensions

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (6)

Structural completeness in relevance logics ⋮ Varieties of De Morgan monoids: minimality and irreducible algebras ⋮ Two Infinite Sequences of Pre-Maximal Extensions of the Relevant Logic E ⋮ Two maximality results for the lattice of extensions of \(\vdash_{\mathbf{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 ⋮ Relevance-Sensitive Truth-Trees

Cites Work

• Unnamed Item
• Unnamed Item
• Note on algebraic models for relevance logic
• Algebraizable logics
• R_I the Bounds of Finitude

This page was built for publication: There exist exactly two maximal strictly relevant extensions of the relevant logic R