COMPLETENESS THEOREM FOR INFINITARY LOGIC

被引：4

|

作者：

MANSFIELD, R

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1972年 / 37卷 / 01期

关键词：

D O I：

10.2307/2272542

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：31 / +

页数：1

相关论文

共 50 条

[1] COMPLETENESS THEOREM FOR INFINITARY LOGIC
MANSFIELD, R
[J]. JOURNAL OF SYMBOLIC LOGIC, 1971, 36 (04) : 709 - +
[2] INFINITARY GENERALIZATIONS OF DELIGNE'S COMPLETENESS THEOREM
Espindola, Christian
[J]. JOURNAL OF SYMBOLIC LOGIC, 2020, 85 (03) : 1147 - 1162
[3] COMPLETENESS PROOF FOR AN INFINITARY TENSE-LOGIC
SUNDHOLM, G
[J]. THEORIA, 1977, 43 : 47 - 51
[4] MONOTONE CLASS THEOREM IN INFINITARY LOGIC
KEISLER, HJ
[J]. PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1977, 64 (01) : 129 - 134
[5] NEW COMPACTNESS THEOREM FOR INFINITARY LOGIC
STARK, WR
[J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1975, 22 (01): : A36 - A36
[6] A COMPLETENESS THEOREM FOR CERTAIN CLASSES OF RECURSIVE INFINITARY FORMULAS
ASH, CJ
KNIGHT, JF
[J]. MATHEMATICAL LOGIC QUARTERLY, 1994, 40 (02) : 173 - 181
[7] COMPLETENESS THEOREM FOR STATIONARY LOGIC
BARWISE, J
MAKKAI, M
[J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 23 (06): : A594 - A595
[8] A COMPLETENESS THEOREM IN MODAL LOGIC
BAYART, A
[J]. JOURNAL OF SYMBOLIC LOGIC, 1966, 31 (02) : 276 - &
[9] A COMPLETENESS THEOREM FOR TENSE LOGIC
COCCHIARELLA, NB
[J]. JOURNAL OF SYMBOLIC LOGIC, 1966, 31 (04) : 689 - +
[10] An interpolation theorem for first order logic with infinitary predicates
Sayed-Ahmed, Tarek
[J]. LOGIC JOURNAL OF THE IGPL, 2007, 15 (01) : 21 - 32

← 1 2 3 4 5 →