COMPLETENESS THEOREM FOR INFINITARY LOGIC

被引：0

|

作者：

MANSFIELD, R

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1971年 / 36卷 / 04期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：709 / +

页数：1

相关论文

共 50 条

[1] COMPLETENESS THEOREM FOR INFINITARY LOGIC
MANSFIELD, R
JOURNAL OF SYMBOLIC LOGIC, 1972, 37 (01) : 31 - +
[2] INFINITARY GENERALIZATIONS OF DELIGNE'S COMPLETENESS THEOREM
Espindola, Christian
JOURNAL OF SYMBOLIC LOGIC, 2020, 85 (03) : 1147 - 1162
[3] COMPLETENESS PROOF FOR AN INFINITARY TENSE-LOGIC
SUNDHOLM, G
THEORIA, 1977, 43 : 47 - 51
[4] NEW COMPACTNESS THEOREM FOR INFINITARY LOGIC
STARK, WR
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1975, 22 (01): : A36 - A36
[5] MONOTONE CLASS THEOREM IN INFINITARY LOGIC
KEISLER, HJ
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1977, 64 (01) : 129 - 134
[6] A COMPLETENESS THEOREM FOR CERTAIN CLASSES OF RECURSIVE INFINITARY FORMULAS
ASH, CJ
KNIGHT, JF
MATHEMATICAL LOGIC QUARTERLY, 1994, 40 (02) : 173 - 181
[7] STRONG CONSERVATIVITY AND COMPLETENESS FOR FRAGMENTS OF INFINITARY ACTION LOGIC
Kuznetsov, S. L.
SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA, 2024, 21 (02): : 789 - 809
[8] COMPLETENESS THEOREM FOR STATIONARY LOGIC
BARWISE, J
MAKKAI, M
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 23 (06): : A594 - A595
[9] A COMPLETENESS THEOREM IN MODAL LOGIC
BAYART, A
JOURNAL OF SYMBOLIC LOGIC, 1966, 31 (02) : 276 - &
[10] A COMPLETENESS THEOREM FOR TENSE LOGIC
COCCHIARELLA, NB
JOURNAL OF SYMBOLIC LOGIC, 1966, 31 (04) : 689 - +

← 1 2 3 4 5 →