Relevant Variants of Intuitionistic Logic

DOI10.1093/jigpal/2.1.47zbMath0815.03013OpenAlexW2002030023MaRDI QIDQ4318162

Yaroslav Shramko

Publication date: 2 January 1995

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

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

zbMATH Keywords

relevant logicintuitionist-style negationsystem E

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Subsystems of classical logic (including intuitionistic logic) (03B20)

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