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

axiomatizationclassical relevance logicpretabularityrelational world semanticsRoutley-Meyer semantics

Mathematics Subject Classification ID

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

Review text

\(\mathbf{KR}\) is an extension of Anderson and Belnap's relevance logic \(\mathbf{R}\) with classical axiom (\(p \ \& \ \sim p) \to q\) and it is called classical relevance logic. A logic is pretabular if it is not a logic of any finite logical matrix, but each of its proper extension can be defined by a finite matrix. \(\mathbf{KR}\) has precisely two pretabular extension: the logics \(\mathcal{L}\) and \(\mathcal{M}\) [\textit{A. Fallahi}, Stud. Log. 106, No. 1, 191--214 (2018; Zbl 1437.03096)]. The paper offers different (with and without propositional constants relative to \(\mathbf{KR}\)) axiomatizations of the logic \(\mathcal{L}\), as well as different axiomatizations of the logic \(\mathcal{M}\). In the final sections, the Routly-Meyer semantics for the logics \(\mathcal{L}\) and \(\mathcal{M}\) are considered, and some open problems are formulated.

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

• 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
• 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?)
• 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

(5)

• A second pretabular classical relevance logic
• A pretabular classical relevance logic
• scientific article; zbMATH DE number 3954874 (Why is no real title available?)
• Tarskian Classical Relevant Logic
• 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)