Extending the Lambek Calculus with Classical Negation

被引：0

作者：

Kaminski, Michael ^{[1
]}

机构：

[1] Technion Israel Inst Technol, Dept Comp Sci, IL-3200003 Haifa, Israel

来源：

STUDIA LOGICA | 2022年 / 110卷 / 02期

关键词：

Lambek calculus; Classical negation; Frame semantics; Sequent calculus;

D O I：

10.1007/s11225-021-09965-y

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

We present an axiomatization of the non-associative Lambek calculus extended with classical negation for which the frame semantics with the classical interpretation of negation is sound and complete.

引用

页码：295 / 317

页数：23

共 8 条

[1]

Buszkowski W, 1996, PERSPEKT ANALYT PHIL, V7, P107

[2] Classical non-associative Lambek calculus [J].

De Groote P. ;

Lamarche F. .

Studia Logica, 2002, 71 (3) :355-388

[3] A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS [J].

DOSEN, K .

ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1992, 38 (02) :179-187

[4] Relational Semantics of the Lambek Calculus Extended with Classical Propositional Logic [J].

Kaminski, Michael ;

Francez, Nissim .

STUDIA LOGICA, 2014, 102 (03) :479-497

[5]

Konig Denes, 1926, Fundamenta Mathematicae, V8, P114, DOI DOI 10.4064/FM-8-1-114-134

[6]

Pentus M., 1999, AM MATH SOC TRANSL, V192, P57

[7]

van Benthem, 1988, AM MATH MON, V65, P153

[8] A note on negation in Categorial Grammar [J].

Wansing, Heinrich .

LOGIC JOURNAL OF THE IGPL, 2007, 15 (03) :271-286

← 1 →