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

DOI10.1007/S11229-021-03065-ZMaRDI QIDQ6147138zbMATH OpenOpenAlexFDO

Authors Tore Fjetland Øgaard

Publication date 1 February 2024

Published in Synthese (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

entailmentlogical pluralismlogical theory choicemodalityparaconsistencyrelevant logicstruth-constants

Mathematics Subject Classification ID

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

Recommendations

• Non-Boolean classical relevant logics. I
• scientific article; zbMATH DE number 4012563
• A Routley-Meyer semantics for relevant logics including TWR plus the disjunctive syllogism
• What is a relevant connective?
• scientific article; zbMATH DE number 48206

Cites work

• R and relevance principle revisited
• A note on freedom from detachment in the logic of paradox
• A plea for KR
• Begründung einer strengen Implikation
• Boolean negation and non-conservativity. I: Relevant modal logics
• Boolean negation and non-conservativity. III: The Ackermann constant
• CE is not a conservative extension of E
• Classical relevant logics. II
• Classically complete modal relevant logics
• Completeness and conservative extension results for some Boolean relevant logics
• E and S4
• E, R AND γ
• Entailment and relevance¹
• Handbook of philosophical logic. Vol. 6
• scientific article; zbMATH DE number 440024 (Why is no real title available?)
• scientific article; zbMATH DE number 3926879 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 596497 (Why is no real title available?)
• scientific article; zbMATH DE number 755666 (Why is no real title available?)
• scientific article; zbMATH DE number 3273133 (Why is no real title available?)
• Larisa Maksimova’s Early Contributions to Relevance Logic
• Logical consequence and the paradoxes
• Logical pluralism
• Modalities in Ackermann's “rigorous implication”
• Negation in relevant logics. (How I stopped worrying and learned to love the Routley star)
• New axiomatics for relevant logics. I
• On the logic of contingent relevant implication: A conceptual incoherence in the intuitive interpretation of R
• Residuated lattices. An algebraic glimpse at substructural logics
• Rules in relevant logic. II: Formula representation
• Skolem functions in non-classical logics
• The admissibility of \(\gamma\) in R4
• The pure calculus of entailment
• The semantics of \(R4\)
• The semantics of entailment. II
• ÜBER DIE BEZIEHUNG ZWISCHEN STRIKTER UND STRENGER IMPLIKATION

Cited in

(8)

• The Weak Variable Sharing Property
• Confused entailment
• Models for official entailment
• Variable-sharing as relevance
• Withered relevance. Evaluating the Anderson-Belnap account of relevant logics
• Simplified semantics for further relevant logics. II: Propositional constants
• Symmetry and completeness in relevant epistemic logic
• Simplified semantics for further relevant logics. I: Unreduced semantics for \(\mathbf{E}\) and \(\boldsymbol{\Pi}'\)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6147138)