Abstract
Relevant logics developed as attempts to avoid the paradoxes of classical implication such as e.g., validity in the classical propositional logic PC of the formulas of the form (φ ∧ ¬φ) → ψ or φ → (ψ → φ). The source of these paradoxes was identified as irrelevance of the antecedent of the implication to the consequent. The history and developments of relevant logics can be found e.g., in [AB75,ABD92,RMPB83,Bra03a].
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2011 Springer Science+Business Media B.V.
About this chapter
Cite this chapter
Orłowska, E., Golińska-Pilarek, J. (2011). Dual Tableaux for Relevant Logics. In: Dual Tableaux: Foundations, Methodology, Case Studies. Trends in Logic, vol 33. Springer, Dordrecht. https://doi.org/10.1007/978-94-007-0005-5_9
Download citation
DOI: https://doi.org/10.1007/978-94-007-0005-5_9
Published:
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-007-0004-8
Online ISBN: 978-94-007-0005-5
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)