A unification of the basic logics of Sambin and Visser

DOI10.1093/JIGPAL/JZS002zbMATH Open1268.03023OpenAlexW2029586075MaRDI QIDQ4914008

Vahid Vaezian, Mohammad Ardeshir

Publication date: 17 April 2013

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

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

zbMATH Keywords

substructural logicssubintuitionistic logicsVisser's basic logicSambin's basic logic

Mathematics Subject Classification ID

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

This page was built for publication: A unification of the basic logics of Sambin and Visser

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