Completeness of implicational relevant logics

DOI10.1093/JIGPAL/8.6.761zbMath0970.03026OpenAlexW1973259886MaRDI QIDQ4521284

Ryo Kashima

Publication date: 19 December 2000

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

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

zbMATH Keywords

completenessrelevant logicentailmentlabelled sequent calculisemilattice semanticsUrquhart models

Mathematics Subject Classification ID

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

Related Items (1)

A characteristic frame for positive intuitionistic and relevance logic

This page was built for publication: Completeness of implicational relevant logics