Tarskian Classical Relevant Logic

DOI10.1007/978-3-030-71430-7_3OpenAlexW3003486297MaRDI QIDQ5027232

Roger D. 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 calculusrelation algebrasrelevance logicclassical relevant logicprovability in first-order logic with finitely many variablessemi-associative relation algebras

Mathematics Subject Classification ID

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

Related Items (1)

Representable and diagonally representable weakening relation algebras

Cites Work

• Failure of interpolation in relevant logics
• Necessary subalgebras of simple nonintegral semiassociative relation algebras
• A sequent calculus for relation algebras
• Relation algebras
• The calculus of relations as a foundation for mathematics
• Classical relevant logics. I
• Classical relevant logics. II
• Some sufficient conditions for the representability of relation algebras
• Representations of integral relation algebras
• The representation of relational algebras
• Strongly representable atom structures of relation algebras
• Modalities in Ackermann's “rigorous implication”
• Entailment and relevance¹
• RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS
• Algebras of Relations and Relevance Logic
• Some Varieties Containing Relation Algebras
• The undecidability of entailment and relevant implication
• Pair-Dense Relation Algebras
• Nonfinite axiomatizability results for cylindric and relation algebras
• The Discovery of My Completeness Proofs
• Relevant Implication and Ordered Geometry
• Introduction to Relation Algebras
• A simplified formalization of predicate logic with identity
• Intensional models for first degree formulas
• RELATION ALGEBRAS AND R
• The completeness of the first-order functional calculus
• Boolean Algebras with Operators. Part I
• Boolean Algebras with Operators
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Tarskian Classical Relevant Logic