A second pretabular classical relevance logic

DOI10.1007/S11225-017-9734-ZzbMATH Open1437.03096OpenAlexW2687179139MaRDI QIDQ1708106FDOQ1708106

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)

Cites Work

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

Cited In (5)

• Title not available (Why is that?)
• Relevance Logic as a Conservative Extension of Classical Logic
• A plea for KR
• Simple axiomatizations for pretabular classical relevance logics
• Two pretabular linear extensions of relevance logic R

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)