A second pretabular classical relevance logic

DOI10.1007/S11225-017-9734-ZzbMath1437.03096OpenAlexW2687179139MaRDI QIDQ1708106

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)

Related Items (3)

A plea for KR ⋮ Two pretabular linear extensions of relevance logic R ⋮ Simple axiomatizations for pretabular classical relevance logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Pretabular varieties of modal algebras
• Pretabular extensions of Lewis S4
• A pretabular classical relevance logic
• Pretabular superintuitionistic logic
• Family K of the non-Lewis modal systems
• Certain extensions of modal system S4
• A note on R-Mingle and Sobociński's three-valued logic
• LC and Its Pretabular Relatives
• The undecidability of entailment and relevant implication
• Five critical modal systems
• 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
• Extensions of the Lewis system S5

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