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
From MaRDI portal
Publication:5502814
DOI10.2178/jsl/1230396916zbMath1161.03011OpenAlexW2076149013MaRDI QIDQ5502814
Publication date: 9 January 2009
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2178/jsl/1230396916
Related Items (6)
Unnamed Item ⋮ A second pretabular classical relevance logic ⋮ Nilpotent Minimum Logic NM and Pretabularity ⋮ LC and Its Pretabular Relatives ⋮ Two pretabular linear extensions of relevance logic R ⋮ Simple axiomatizations for pretabular classical relevance logics
Cites Work
- Structural entailment
- Pretabular varieties of modal algebras
- On the lattice of quasivarieties of Sugihara algebras
- Note on algebraic models for relevance logic
- There exist exactly two maximal strictly relevant extensions of the relevant logic R
- Algebraic completeness results for R-mingle and its extensions
This page was built for publication: 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