Reconciling Lambek’s restriction, cut-elimination and substitution in the presence of exponential modalities
Work
Year: 2020
Type: article
Abstract: The Lambek calculus can be considered as a version of non-commutative intuitionistic linear logic. One of the interesting features of the Lambek calculus is the so-called ‘Lambek’s restriction’, i.e.... more
Source: Journal of Logic and Computation
Institutions University College London, National Research University Higher School of Economics, Steklov Mathematical Institute, University of Pennsylvania
Cites: 25
Cited by: 8
Related to: 10
FWCI: 0.826
Citation percentile (by year/subfield): 78.22
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: green