Max Kanovich, Stepan Kuznetsov, Andre Scedrov, “Reconciling Lambek's restriction, cut-elimination, and substitution in the presence of exponential modalities”, J. Logic Comput., 2020, Volume 30, Issue 1,Pages <nobr>239–256</nobr>

RUS ENG

JOURNALS // Journal of Logic and Computation // Archive

J. Logic Comput., 2020, Volume 30, Issue 1, Pages 239–256 (Mi jlc2)

This article is cited in 6 papers

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

Max Kanovich^ab, Stepan Kuznetsov^cb, Andre Scedrov^db

^a University College London, Computer Science Department, London WC1E 6BT, UK
^b National Research University Higher School of Economics, Faculty of Computer Science, Moscow 109028, Russia
^c Steklov Mathematical Institute of the RAS, Department of Mathematical Logic, Moscow 119991, Russia
^d University of Pennsylvania, Department of Mathematics, Philadelphia 19104, USA

Received: 29.02.2016

Language: English

DOI: 10.1093/logcom/exaa010

Cited by

Bibliographic databases:

© Steklov Math. Inst. of RAS, 2026