Tarskian Classical Relevant Logic

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

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)

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

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)