Tarskian Classical Relevant Logic

DOI10.1007/978-3-030-71430-7_3MaRDI QIDQ5027232OpenAlexFDO

Authors Roger Maddux

Publication date 4 February 2022

Published in Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2001.10333

zbMATH Keywords

sequent calculusrelevance logicrelation algebrasclassical relevant logicprovability in first-order logic with finitely many variablessemi-associative relation algebras

Mathematics Subject Classification ID

General logic (03Bxx) Algebraic logic (03Gxx)

Recommendations

• What is relevance logic?
• Simple axiomatizations for pretabular classical relevance logics
• scientific article; zbMATH DE number 4179336
• COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS
• scientific article; zbMATH DE number 35403

Cites work

• scientific article; zbMATH DE number 3926869 (Why is no real title available?)
• scientific article; zbMATH DE number 3926879 (Why is no real title available?)
• scientific article; zbMATH DE number 3933071 (Why is no real title available?)
• scientific article; zbMATH DE number 193143 (Why is no real title available?)
• scientific article; zbMATH DE number 3496100 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 1303438 (Why is no real title available?)
• scientific article; zbMATH DE number 1303457 (Why is no real title available?)
• scientific article; zbMATH DE number 596497 (Why is no real title available?)
• scientific article; zbMATH DE number 1984508 (Why is no real title available?)
• scientific article; zbMATH DE number 6965723 (Why is no real title available?)
• scientific article; zbMATH DE number 3300554 (Why is no real title available?)
• scientific article; zbMATH DE number 3419133 (Why is no real title available?)
• scientific article; zbMATH DE number 3068529 (Why is no real title available?)
• scientific article; zbMATH DE number 3070503 (Why is no real title available?)
• A sequent calculus for relation algebras
• A simplified formalization of predicate logic with identity
• Algebras of Relations and Relevance Logic
• Boolean Algebras with Operators
• Boolean Algebras with Operators. Part I
• Classical relevant logics. I
• Classical relevant logics. II
• Entailment and relevance¹
• Failure of interpolation in relevant logics
• Intensional models for first degree formulas
• Introduction to Relation Algebras
• Modalities in Ackermann's “rigorous implication”
• Necessary subalgebras of simple nonintegral semiassociative relation algebras
• Nonfinite axiomatizability results for cylindric and relation algebras
• Pair-Dense Relation Algebras
• RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS
• Relation algebras
• Relation algebras and \(\mathbf{R}\)
• Relevant implication and ordered geometry
• Representations of integral relation algebras
• Some Varieties Containing Relation Algebras
• Some sufficient conditions for the representability of relation algebras
• Strongly representable atom structures of relation algebras
• The Discovery of My Completeness Proofs
• The calculus of relations as a foundation for mathematics
• The completeness of the first-order functional calculus
• The representation of relational algebras
• The undecidability of entailment and relevant implication

Cited in

(5)

• Relevance Logic as a Conservative Extension of Classical Logic
• Tarskian classical relevant logic
• Logic: Going farther from Tarski?
• Tarski on logical notions
• Representable and diagonally representable weakening relation algebras

This page was built for publication: Tarskian Classical Relevant Logic

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