Non-Boolean classical relevant logics. II: Classicality through truth-constants

DOI10.1007/s11229-021-03065-zzbMath1529.03161OpenAlexW3139336388MaRDI QIDQ6147138

Tore Fjetland Øgaard

Publication date: 1 February 2024

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-021-03065-z

zbMATH Keywords

modalityparaconsistencyentailmentrelevant logicslogical pluralismtruth-constantslogical theory choice

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Paraconsistent logics (03B53)

Related Items (1)

The Weak Variable Sharing Property

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• \(\mathbf R\) and relevance principle revisited
• Logical consequence and the paradoxes
• Residuated lattices. An algebraic glimpse at substructural logics
• Completeness and conservative extension results for some Boolean relevant logics
• On the logic of contingent relevant implication: A conceptual incoherence in the intuitive interpretation of R
• The admissibility of \(\gamma\) in R4
• The semantics of \(R4\)
• Classical relevant logics. II
• The semantics of entailment. II
• Rules in relevant logic. II: Formula representation
• New axiomatics for relevant logics. I
• CE is not a conservative extension of E
• Handbook of philosophical logic. Vol. 6
• A note on freedom from detachment in the logic of paradox
• E and S4
• A plea for KR
• Begründung einer strengen Implikation
• Modalities in Ackermann's “rigorous implication”
• ÜBER DIE BEZIEHUNG ZWISCHEN STRIKTER UND STRENGER IMPLIKATION
• Entailment and relevance¹
• The pure calculus of entailment
• Classically complete modal relevant logics
• Logical Pluralism
• Boolean negation and non-conservativity I: Relevant modal logics
• Boolean negation and non-conservativity III: the Ackermann constant
• E, R AND γ
• Larisa Maksimova’s Early Contributions to Relevance Logic

This page was built for publication: Non-Boolean classical relevant logics. II: Classicality through truth-constants