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

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

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)