Relevance logics and intuitionistic negation

DOI10.3166/JANCL.18.49-65MaRDI QIDQ3647286zbMATH OpenOpenAlexFDO

Authors

Publication date 30 November 2009

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3166/jancl.18.49-65

zbMATH Keywords

constructive negationimplicative paradoxesrelational ternary semanticsrelevance logicssubstructural logics

Mathematics Subject Classification ID

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

Recommendations

• Relevance logics and intuitionistic negation. II. Negation introduced with the unary connective
• Relevance logics, paradoxes of consistency and the K rule. II: A non-constructive negation
• The basic constructive logic for a weak sense of consistency
• scientific article; zbMATH DE number 5233158
• Routley-Meyer ternary relational semantics for intuitionistic-type negations

Cites work

• CE is not a conservative extension of E
• Classical relevant logics. I
• Classical relevant logics. II
• 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?)

Cited in

(20)

• The basic constructive logic for a weak sense of consistency
• Basic quasi-Boolean expansions of relevance logics
• Negation as falsity: A reply to Tennant
• Intuitionism and relevance
• Minimal non-relevant logics without the K axiom. II. Negation introduced as a primitive unary connective
• Relevance logics and intuitionistic negation. II. Negation introduced with the unary connective
• A constructive negation defined with a negation connective for logics including Bp_+
• The system Bp_+: a minimal positive logic for minimal negation
• RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS
• A constructive negation for logics including \(\mathrm{TW}_+\)
• scientific article; zbMATH DE number 3954874 (Why is no real title available?)
• Relevant Variants of Intuitionistic Logic
• Routely-Meyer Semantics for some weak Boolean Logics, and some Translations
• Implicational Logic, Relevance, and Refutability
• A Note on the Relevance of Semilattice Relevance Logic
• Relevance Logic as a Conservative Extension of Classical Logic
• Routley-Meyer ternary relational semantics for intuitionistic-type negations
• Relevance logics, paradoxes of consistency and the K rule
• Relevance logics, paradoxes of consistency and the K rule. II: A non-constructive negation
• scientific article; zbMATH DE number 5233158 (Why is no real title available?)

This page was built for publication: Relevance logics and intuitionistic negation

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