Cut elimination theorems and a canonical model construction for some implicational substructural logics

zbMATH Open0985.03013MaRDI QIDQ2758081

Norihiro Kamide

Publication date: 31 January 2002

Published in: Scientiae Mathematicae Japonicae (Search for Journal in Brave)

zbMATH Keywords

sequent calculussubstructural logicrelevant logicBCK-logicimplicational fragmentscanonical model constructioncut-elimination theoremsKripke type semanticsLambek logicstrict implication S4

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

This page was built for publication: Cut elimination theorems and a canonical model construction for some implicational substructural logics

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