A COMPLETENESS THEOREM FOR THE LAMBEK CALCULUS OF SYNTACTIC CATEGORIES

被引：8
|
作者：
DOSEN, K
机构：
来源：
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK | 1985年 / 31卷 / 03期
关键词：
D O I：
10.1002/malq.19850311405
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：235 / 241
页数：7
相关论文
共 50 条
  • [11] LAMBEK OPERATIONAL CATEGORIES
    JAY, CB
    BULLETIN OF THE AUSTRALIAN MATHEMATICAL SOCIETY, 1986, 33 (02) : 161 - 175
  • [12] On the selective Lambek Calculus
    Corrêa, MD
    Haeusler, EH
    LOGICAL ASPECTS OF COMPUTATIONAL LINGUISTICS, PROCEEDINGS, 2005, 3492 : 67 - 83
  • [13] MODELS FOR THE LAMBEK CALCULUS
    PENTUS, M
    ANNALS OF PURE AND APPLIED LOGIC, 1995, 75 (1-2) : 179 - 213
  • [14] On the directional Lambek calculus
    Zielonka, Wojciech
    LOGIC JOURNAL OF THE IGPL, 2010, 18 (03) : 403 - 421
  • [15] Lambek Calculus with Conjugates
    Sedlar, Igor
    Tedder, Andrew
    STUDIA LOGICA, 2021, 109 (03) : 447 - 470
  • [16] Lambek calculus and formal languages
    Pentus, M
    LOGIC COLLOQUIUM '95, 1998, 11 : 269 - 272
  • [17] On Classical Nonassociative Lambek Calculus
    Buszkowski, Wojciech
    LOGICAL ASPECTS OF COMPUTATIONAL LINGUISTICS: CELEBRATING 20 YEARS OF LACL (1996-2016), 2016, 10054 : 68 - 84
  • [18] Normalization by Evaluation for the Lambek Calculus
    Veltri, Niccolo
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2022, (358): : 102 - 117
  • [19] The Length of Joins in Lambek Calculus
    Sorokin, A. A.
    MOSCOW UNIVERSITY MATHEMATICS BULLETIN, 2011, 66 (03) : 101 - 104
  • [20] Correction to: Lambek Calculus with Conjugates
    Igor Sedlár
    Andrew Tedder
    Studia Logica, 2021, 109 (3) : 471 - 471
12345