A second pretabular classical relevance logic

DOI10.1007/S11225-017-9734-ZMaRDI QIDQ1708106zbMATH OpenOpenAlexFDO

Authors Asadollah Fallahi

Publication date 4 April 2018

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-017-9734-z

zbMATH Keywords

classical relevance logicsKRpretabularityRM

Mathematics Subject Classification ID

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

Recommendations

• Simple axiomatizations for pretabular classical relevance logics
• A pretabular classical relevance logic
• Two pretabular linear extensions of relevance logic R
• 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

Cites work

• A note on R-Mingle and Sobociński's three-valued logic
• A pretabular classical relevance logic
• Algebraic Completeness Results for Dummett's LC and Its Extensions
• Algebraic completeness results for R-mingle and its extensions
• Certain extensions of modal system S4
• Extensions of the Lewis system S5
• Family K of the non-Lewis modal systems
• Five critical modal systems
• scientific article; zbMATH DE number 3926879 (Why is no real title available?)
• scientific article; zbMATH DE number 3485746 (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?)
• scientific article; zbMATH DE number 3077773 (Why is no real title available?)
• LC and its pretabular relatives
• Pretabular extensions of Lewis S4
• Pretabular superintuitionistic logic
• Pretabular varieties of modal algebras
• The undecidability of entailment and relevant implication
• 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

Cited in

(9)

• A pretabular classical relevance logic
• On pretabular logics in NExtK4. II
• Simple axiomatizations for pretabular classical relevance logics
• A plea for KR
• LC and its pretabular relatives
• On pretabular logics in NExtK4. I
• scientific article; zbMATH DE number 6965723 (Why is no real title available?)
• Two pretabular linear extensions of relevance logic R
• Relevance Logic as a Conservative Extension of Classical Logic

This page was built for publication: A second pretabular classical relevance logic

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