Trees for E

DOI10.1093/JIGPAL/JZY003zbMath1492.03009OpenAlexW2793313043MaRDI QIDQ5095640

Shawn Standefer

Publication date: 10 August 2022

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

Full work available at URL: https://doi.org/10.1093/jigpal/jzy003

zbMATH Keywords

modalitynatural deductionrelevant logiclogic E

Mathematics Subject Classification ID

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

Related Items (2)

TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS ⋮ Translations between Gentzen-Prawitz and Jaśkowski-Fitch natural deduction proofs

This page was built for publication: Trees for E