Substructural logics with mingle

DOI10.1023/A:1017586008091zbMath1003.03019OpenAlexW1572108241MaRDI QIDQ1610623

Norihiro Kamide

Publication date: 20 August 2002

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1017586008091

zbMATH Keywords

decidabilityLambek calculuslinear logicsubstructural logicscut-eliminationsequent calculivariable sharinginterpolabilitymingle

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)

Related Items

Logic and majority voting, \(\mathbf R\) and relevance principle revisited, Structure theorems for idempotent residuated lattices, Non-transitive correspondence analysis, On the Logic of Expansion in Natural Language, BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS, Proof complexity of substructural logics