Two pretabular linear extensions of relevance logic R

DOI10.1080/11663081.2021.1915687OpenAlexW3180768201MaRDI QIDQ5156188FDOQ5156188

Authors: 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

Recommendations

• A second pretabular classical relevance logic
• LC and its pretabular relatives
• A pretabular classical relevance logic
• 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
• Simple axiomatizations for pretabular classical relevance logics

zbMATH Keywords

pretabularityRMLRlinear extensions of relevance logic R

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• A Kripke-style semantics for R-mingle using a binary accessibility relation
• A propositional calculus with denumerable matrix
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Algebraic completeness results for R-mingle and its extensions
• Pretabular superintuitionistic logic
• The tabularity problem over the minimal logic
• Algebraic Completeness Results for Dummett's LC and Its Extensions
• Simplified semantics for basic relevant logics
• Equivalents of mingle and positive paradox
• A second pretabular classical relevance logic
• A pretabular classical relevance logic
• 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
• Varieties of De Morgan monoids: minimality and irreducible algebras
• \(\mathbf{RM}\) and its nice properties
• Simple axiomatizations for pretabular classical relevance logics

Cited In (7)

• There exist exactly two maximal strictly relevant extensions of the relevant logic R
• On pretabular extensions of relevance logic
• Two infinite sequences of pre-maximal extensions of the relevant logic \(\mathbf{E}\)
• Simple axiomatizations for pretabular classical relevance logics
• A second pretabular classical relevance logic
• LC and its pretabular relatives
• A pretabular classical relevance logic

This page was built for publication: Two pretabular linear extensions of relevance logic R

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5156188)