Two pretabular linear extensions of relevance logic R

DOI10.1080/11663081.2021.1915687MaRDI QIDQ5156188zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

linear extensions of relevance logic RLRpretabularityRM

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

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

Cites work

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

Cited in

(8)

• A second pretabular classical relevance logic
• A pretabular classical relevance logic
• Simple axiomatizations for pretabular classical relevance logics
• LC and its pretabular relatives
• There exist exactly two maximal strictly relevant extensions of the relevant logic R
• Two infinite sequences of pre-maximal extensions of the relevant logic \(\mathbf{E}\)
• On pretabular extensions of relevance logic
• A Gödel-Dugundji-style theorem for the minimal structural 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)