Relational Semantics of the Lambek Calculus Extended with Classical Propositional Logic

被引：0
作者：
Michael Kaminski
Nissim Francez
机构：
[1] Technion - Israel Institute of Technology,Department of Computer Science
来源：
Studia Logica | 2014年 / 102卷
关键词：
Lambek calculus; Relational semantics; Classical propositional logic;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
We show that the relational semantics of the Lambek calculus, both nonassociative and associative, is also sound and complete for its extension with classical propositional logic. Then, using filtrations, we obtain the finite model property for the nonassociative Lambek calculus extended with classical propositional logic.
引用
收藏
页码：479 / 497
页数：18
相关论文
共 8 条
  • [1] Buszkowski W.(1982)Compatibility of categorial grammar with an associated category system Zeitschrift für mathematische Logik und Grundlagen der Mathematik 28 229-238
  • [2] Buszkowski W.(1982)Some decision problems in the theory of syntactic categories Zeitschrift für mathematische Logik und Grundlagen der Mathematik 28 539-548
  • [3] Buszkowski W.(2011)Interpolation and FEP for logics of residuated algebras Logic Journal of the IGPL 19 437-454
  • [4] Došen K.(1992)A brief survey of frames for the Lambek calculus Zeitschrift für mathematische Logik und Grundlagen der Mathematik 38 179-187
  • [5] Kanazawa M.(1992)The Lambek calculus enriched with additional connectives Journal of Logic, Language, and Information 1 141-171
  • [6] Pentus M.(1995)Models for the Lambek calculus Annals of Pure and Applied Logic 75 179-213
  • [7] Wansing H.(2007)A note on negation in categorial grammar Logic Journal of the IGPL 15 271-286
  • [8] Zimmermann E.(2010)Full Lambek calculus in natural deduction Mathematical Logic Quarterly 56 85-88
1