Relevant Variants of Intuitionistic Logic

DOI10.1093/JIGPAL/2.1.47MaRDI QIDQ4318162zbMATH OpenOpenAlexFDO

Authors Yaroslav Shramko

Publication date 2 January 1995

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/8bede4257abc896392504bde83bcee546f31de6f

zbMATH Keywords

intuitionist-style negationrelevant logicsystem E

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) 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
• Intuitionism and relevance
• Routley-Meyer ternary relational semantics for intuitionistic-type negations
• Relevance logics and intuitionistic negation
• Minimal non-relevant logics without the K axiom. II. Negation introduced as a primitive unary connective

This page was built for publication: Relevant Variants of Intuitionistic Logic

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