Reconciling Lambek’s restriction, cut-elimination and substitution in the presence of exponential modalities

DOI10.1093/logcom/exaa010OpenAlexW3009004147WikidataQ115538314 ScholiaQ115538314MaRDI QIDQ5108024

Stepan Kuznetsov, Andrej Scedrov, Max I. Kanovich

Publication date: 29 April 2020

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1608.02254

zbMATH Keywords

undecidabilitycut eliminationLambek calculuslinear logicsubstitutionexponential modalitiesLambek's restriction

Mathematics Subject Classification ID

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

Related Items (3)

The multiplicative-additive Lambek calculus with subexponential and bracket modalities ⋮ Infinitary action logic with exponentiation ⋮ Soft subexponentials and multiplexing

This page was built for publication: Reconciling Lambek’s restriction, cut-elimination and substitution in the presence of exponential modalities