DE MORGAN INTERPRETATION OF THE LAMBEK-GRISHIN CALCULUS

被引：0
|
作者：
Kaminski, Michael [1 ]
Francez, Nissim [1 ]
机构：
[1] Technion Israel Inst Technol, Dept Comp Sci, IL-32000 Haifa, Israel
来源：
REVIEW OF SYMBOLIC LOGIC | 2020年 / 13卷 / 04期
关键词：
Lambek– Grishin calculus; duality; negation; De Morgan’ s laws; sequent calculus; cut elimination;
D O I：
10.1017/S175502031900011X
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
We present an embedding of the Lambek-Grishin calculus into an extension of the nonassociative Lambek calculus with negation. The embedding is based on the De Morgan interpretation of the dual Grishin connectives.
引用
收藏
页码：845 / 856
页数：12
相关论文
共 50 条
  • [1] Extraction in the Lambek-Grishin Calculus
    Bastenhof, Arno
    INTERFACES: EXPLORATIONS IN LOGIC, LANGUAGE AND COMPUTATION, 2010, 6211 : 57 - 71
  • [2] Continuation semantics for the Lambek-Grishin calculus
    Bernardi, Raffaella
    Moortgat, Michael
    INFORMATION AND COMPUTATION, 2010, 208 (05) : 397 - 416
  • [3] Generalized Kripke semantics for the Lambek-Grishin calculus
    Chernilovskaya, Anna
    Gehrke, Mai
    van Rooijen, Lorijn
    LOGIC JOURNAL OF THE IGPL, 2012, 20 (06) : 1110 - 1132
  • [4] Type similarity for the Lambek-Grishin calculus revisited
    Bastenhof, A., 1600, Springer Verlag (8222):
  • [5] Proof-Theoretic Aspects of the Lambek-Grishin Calculus
    de Groote, Philippe
    LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, WOLLIC 2015, 2015, 9160 : 109 - 123
  • [6] Symmetries in natural language syntax and semantics: The lambek-grishin calculus
    Moortgat, Michael
    Logic, Language, Information and Computation, Proceedings, 2007, 4576 : 264 - 284
  • [7] The Generative Capacity of the Lambek-Grishin Calculus: A New Lower Bound
    Melissen, Matthijs
    FORMAL GRAMMAR, 2011, 5591 : 118 - 132
  • [8] The Product-Free Lambek-Grishin Calculus Is NP-Complete
    Bransen, Jeroen
    LOGICAL ASPECTS OF COMPUTATIONAL LINGUISTICS, LACL 2011, 2011, 6736 : 49 - 63
  • [9] On the selective Lambek Calculus
    Corrêa, MD
    Haeusler, EH
    LOGICAL ASPECTS OF COMPUTATIONAL LINGUISTICS, PROCEEDINGS, 2005, 3492 : 67 - 83
  • [10] MODELS FOR THE LAMBEK CALCULUS
    PENTUS, M
    ANNALS OF PURE AND APPLIED LOGIC, 1995, 75 (1-2) : 179 - 213
12345