Simple axiomatizations for pretabular classical relevance logics

DOI10.1007/S11225-019-09844-7MaRDI QIDQ2307305zbMATH OpenOpenAlexFDO

Authors Asadollah Fallahi

Publication date 27 March 2020

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-019-09844-7

zbMATH Keywords

axiomatizationRoutley-Meyer semanticspretabularityclassical relevance logicrelational world semantics

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• A second pretabular classical relevance logic
• A pretabular classical relevance logic
• Two pretabular linear extensions of relevance logic R
• 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

Cites work

• 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 1028818 (Why is no real title available?)
• A pretabular classical relevance logic
• 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
• Extensions of the Lewis system S5
• LC and its pretabular relatives
• Simplified semantics for basic relevant logics
• 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

(4)

• Two pretabular linear extensions of relevance logic R
• A second pretabular classical relevance logic
• scientific article; zbMATH DE number 3954874 (Why is no real title available?)
• A pretabular classical relevance logic

This page was built for publication: Simple axiomatizations for pretabular classical relevance logics

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