Two pretabular linear extensions of relevance logic R

DOI10.1080/11663081.2021.1915687OpenAlexW3180768201MaRDI QIDQ5156188

Asadollah Fallahi

Publication date: 15 October 2021

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/11663081.2021.1915687

zbMATH Keywords

pretabularityRMLRlinear extensions of relevance logic R

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The tabularity problem over the minimal logic
• Simplified semantics for basic relevant logics
• A Kripke-style semantics for R-mingle using a binary accessibility relation
• A second pretabular classical relevance logic
• Varieties of De Morgan monoids: minimality and irreducible algebras
• Equivalents of mingle and positive paradox
• A pretabular classical relevance logic
• Pretabular superintuitionistic logic
• Simple axiomatizations for pretabular classical relevance logics
• A propositional calculus with denumerable matrix
• $$\mathbf {RM}$$ RM and its Nice Properties
• LC and Its Pretabular Relatives
• 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
• 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: Two pretabular linear extensions of relevance logic R