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 条

[1] COMPLETENESS RESULTS FOR LAMBEK SYNTACTIC CALCULUS
BUSZKOWSKI, W
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1986, 32 (01): : 13 - 28
[2] Dialectica Categories for the Lambek Calculus
de Paiva, Valeria
Eades, Harley, III
LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS 2018), 2018, 10703 : 256 - 272
[3] A concrete categorical model for the Lambek Syntactic Calculus
Correa, MD
Haeusler, EH
MATHEMATICAL LOGIC QUARTERLY, 1997, 43 (01) : 49 - 59
[4] THEORIES AS CATEGORIES AND COMPLETENESS THEOREM
LAWVERE, FW
JOURNAL OF SYMBOLIC LOGIC, 1967, 32 (04) : 562 - &
[5] Some Syntactic Interpretations in Different Systems of Full Lambek Calculus
Buszkowski, Wojciech
MODALITY, SEMANTICS AND INTERPRETATIONS: THE SECOND ASIAN WORKSHOP ON PHILOSOPHICAL LOGIC, 2015, : 23 - 48
[6] The pentus theorem for lambek calculus with simple nonlogical axioms
Bulińska M.
Studia Logica, 2005, 81 (1) : 43 - 59
[7] A COMPARISON BETWEEN LAMBEK SYNTACTIC CALCULUS AND INTUITIONISTIC LINEAR PROPOSITIONAL LOGIC
ABRUSCI, VM
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1990, 36 (01): : 11 - 15
[8] Term Graphs and the NP-Completeness of the Product-Free Lambek Calculus
Fowler, Timothy A. D.
FORMAL GRAMMAR, 2011, 5591 : 150 - 166
[9] COMPLETENESS OF BUCHIS SEQUENTIAL CALCULUS AND THEOREM OF RAMSEY
SIEFKES, D
JOURNAL OF SYMBOLIC LOGIC, 1967, 32 (04) : 566 - &
[10] The completeness theorem for monads in categories of sorted sets
Vidal, JC
Tur, JS
HOUSTON JOURNAL OF MATHEMATICS, 2005, 31 (01): : 103 - 129

← 1 2 3 4 5 →