Classical Lambek logic

被引：0
|
作者：
Hudelmaier, J
SchroederHeister, P
机构：
来源：
THEOREM PROVING WITH ANALYTIC TABLEAUX AND RELATED METHODS | 1995年 / 918卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We discuss different options for two-sided sequent systems of noncommutative linear logic and prove a restricted form of cut elimination.
引用
收藏
页码：247 / 262
页数：16
相关论文
共 50 条
  • [31] DIALECTICAL LOGIC, CLASSICAL LOGIC, AND CONSISTENCY OF WORLD
    ROUTLEY, R
    MEYER, RK
    [J]. STUDIES IN SOVIET THOUGHT, 1976, 16 (1-2): : 1 - 25
  • [32] Supervaluationism, Modal Logic, and Weakly Classical Logic
    Joshua Schechter
    [J]. Journal of Philosophical Logic, 2024, 53 : 411 - 461
  • [33] Supervaluationism, Modal Logic, and Weakly Classical Logic
    Schechter, Joshua
    [J]. JOURNAL OF PHILOSOPHICAL LOGIC, 2024, 53 (02) : 411 - 461
  • [34] ON RECONSTRUCTABILITY OF CLASSICAL PROPOSITIONAL LOGIC IN INTUITIONISTIC LOGIC
    WOJCICKI, R
    [J]. BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1970, 18 (08): : 421 - &
  • [35] Lambek vs. Lambek: Functorial vector space semantics and string diagrams for Lambek calculus
    Coecke, Bob
    Grefenstette, Edward
    Sadrzadeh, Mehrnoosh
    [J]. ANNALS OF PURE AND APPLIED LOGIC, 2013, 164 (11) : 1079 - 1100
  • [36] From Classical Logic to Fuzzy Logic and Quantum Logic: A General View
    Nadaban, S.
    [J]. INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL, 2021, 16 (01) : 1 - 14
  • [37] Application Of Classical Logic Discussion In The Light Of The Symbolic Logic
    Demir, Necati
    [J]. CUMHURIYET ILAHIYAT DERGISI-CUMHURIYET THEOLOGY JOURNAL, 2008, 12 (02): : 381 - 406
  • [38] A lambek automaton
    Veksler, Tatyana
    Francez, Nissim
    [J]. LOGIC JOURNAL OF THE IGPL, 2006, 14 (05) : 659 - 708
  • [39] Classical Principles in Molecular Logic
    Costa, Diana
    Fuentes, Patricio
    Fuentes, Claudio
    Martins, Manuel A.
    [J]. PROCEEDINGS OF THE INTERNATIONAL CONFERENCE OF NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2014 (ICNAAM-2014), 2015, 1648
  • [40] A proof system for classical logic
    Pogorzelski W.A.
    Wojtylak P.
    [J]. Studia Logica, 2005, 80 (1) : 95 - 104
12345