THEORIES AS CATEGORIES AND COMPLETENESS THEOREM

被引：0

|

作者：

LAWVERE, FW

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1967年 / 32卷 / 04期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：562 / &

相关论文

共 50 条

[31] COMPLETENESS THEOREM FOR BIPROBABILITY MODELS
RASKOVIC, MD
JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (03) : 586 - 590
[32] COMPLETENESS THEOREMS IN THEORIES ON GRAPHS
DONNADIEU, MR
RAMBAUD, C
COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1977, 284 (06): : 355 - 358
[33] COMPLETENESS THEOREM FOR INFINITARY LOGIC
MANSFIELD, R
JOURNAL OF SYMBOLIC LOGIC, 1972, 37 (01) : 31 - +
[34] A COMPLETENESS THEOREM FOR SLDNF RESOLUTION
CAVEDON, L
LLOYD, JW
JOURNAL OF LOGIC PROGRAMMING, 1989, 7 (03): : 177 - 191
[35] COMPLETENESS THEOREM FOR INFINITARY LOGIC
MANSFIELD, R
JOURNAL OF SYMBOLIC LOGIC, 1971, 36 (04) : 709 - +
[36] THEORIES ON CATEGORIES AND APPLICATIONS
DONNADIEU, MR
JOURNAL OF SYMBOLIC LOGIC, 1979, 44 (03) : 445 - 446
[37] Local completeness and drop theorem
Qiu, JH
JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, 2002, 266 (02) : 288 - 297
[38] A COMPLETENESS THEOREM FOR AN INTEGRODIFFERENTIAL OPERATOR
EISENFEL.J
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1969, 16 (01): : 95 - &
[39] COMPLETENESS THEOREM FOR STATIONARY LOGIC
BARWISE, J
MAKKAI, M
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 23 (06): : A594 - A595
[40] Standard completeness theorem for ΠMTL
Horcík, R
ARCHIVE FOR MATHEMATICAL LOGIC, 2005, 44 (04) : 413 - 424

← 1 2 3 4 5 →