Substructural logics with mingle
From MaRDI portal
Publication:1610623
DOI10.1023/A:1017586008091zbMath1003.03019OpenAlexW1572108241MaRDI QIDQ1610623
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
decidabilityLambek calculuslinear logicsubstructural logicscut-eliminationsequent calculivariable sharinginterpolabilitymingle
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