COMPLETENESS THEOREM FOR INFINITARY LOGIC

被引：0

|

作者：

MANSFIELD, R

机构：

来源：

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

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

下载

收藏

页码：709 / +

页数：1

相关论文

共 50 条

[21] COMPLETENESS OF THE INFINITARY POLYADIC AXIOMATIZATION
FLEISCHER, I
MATHEMATICAL LOGIC QUARTERLY, 1993, 39 (02) : 197 - 200
[22] The Boolean Algebra Logic: The Soundness and Completeness Theorem
Chen Bo
Zhang Xingyou
Zhang Pengfei
Cao Cong
Liu Wenxue
Zhao Kang
2017 13TH INTERNATIONAL CONFERENCE ON SEMANTICS, KNOWLEDGE AND GRIDS (SKG 2017), 2017, : 15 - 18
[23] An Intuitionistic Completeness Theorem for Classical Predicate Logic
Krivtsov, Victor N.
STUDIA LOGICA, 2010, 96 (01) : 109 - 115
[24] INTUITIONISTIC COMPLETENESS THEOREM FOR INTUITIONISTIC PREDICATE LOGIC
VELDMAN, W
JOURNAL OF SYMBOLIC LOGIC, 1976, 41 (01) : 159 - 166
[25] COMPLETENESS THEOREM FOR A LOGIC WITH IMPRECISE AND CONDITIONAL PROBABILITIES
Ognjanovic, Zoran
Markovic, Zoran
Raskovic, Miodrag
PUBLICATIONS DE L INSTITUT MATHEMATIQUE-BEOGRAD, 2005, 78 (92): : 35 - 49
[26] A completeness theorem for continuous predicate modal logic
Baratella, Stefano
ARCHIVE FOR MATHEMATICAL LOGIC, 2019, 58 (1-2) : 183 - 201
[27] A COMPLETENESS THEOREM IN PREDICATE-FUNCTOR LOGIC
BACON, J
JOURNAL OF SYMBOLIC LOGIC, 1984, 49 (04) : 1441 - 1441
[28] A completeness theorem for continuous predicate modal logic
Stefano Baratella
Archive for Mathematical Logic, 2019, 58 : 183 - 201
[29] A relative interpolation theorem for infinitary universal Horn logic and its applications
Pynko, AP
ARCHIVE FOR MATHEMATICAL LOGIC, 2006, 45 (03) : 267 - 305
[30] An omitting types theorem for first order logic with infinitary relation symbols
Ahmed, Tarek Sayed
Samir, Basim
MATHEMATICAL LOGIC QUARTERLY, 2007, 53 (06) : 564 - 570

← 1 2 3 4 5 →