Simple axiomatizations for pretabular classical relevance logics

DOI10.1007/S11225-019-09844-7zbMATH Open1476.03025OpenAlexW2917858005MaRDI QIDQ2307305FDOQ2307305

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Extensions of the Lewis system S5
• Algebraic completeness results for R-mingle and its extensions
• Algebraic Completeness Results for Dummett's LC and Its Extensions
• Simplified semantics for basic relevant logics
• A second pretabular classical relevance logic
• A pretabular classical relevance logic
• 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 (2)

• Title not available (Why is that?)
• Two pretabular linear extensions of relevance logic R

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)