COMPLETENESS THEOREM FOR INFINITARY LOGIC

被引：0
|
作者：
MANSFIELD, R
机构：
来源：
JOURNAL OF SYMBOLIC LOGIC | 1971年 / 36卷 / 04期
关键词：
D O I：
暂无
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
下载
收藏
页码：709 / +
页数：1
相关论文
共 50 条
  • [11] An interpolation theorem for first order logic with infinitary predicates
    Sayed-Ahmed, Tarek
    LOGIC JOURNAL OF THE IGPL, 2007, 15 (01) : 21 - 32
  • [12] Infinitary Completeness in Ludics
    Basaldella, Michele
    Terui, Kazushige
    25TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2010), 2010, : 294 - 303
  • [13] Canonical completeness of infinitary μ
    Jaeger, Gerhard
    Kretz, Mathis
    Studer, Thomas
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2008, 76 (02): : 270 - 292
  • [14] A COMPLETENESS THEOREM FOR WEAK EQUATIONAL LOGIC
    RUDAK, L
    ALGEBRA UNIVERSALIS, 1983, 16 (03) : 331 - 337
  • [15] A Modal Logic for Uncertainty: a Completeness Theorem
    Corsi, Esther Anna
    Flaminio, Tommaso
    Godo, Lluis
    Hosni, Hykel
    INTERNATIONAL SYMPOSIUM ON IMPRECISE PROBABILITY: THEORIES AND APPLICATIONS, VOL 215, 2023, 215 : 119 - 129
  • [16] Arithmetical Completeness Theorem for Modal Logic
    Kurahashi, Taishi
    STUDIA LOGICA, 2018, 106 (02) : 219 - 235
  • [17] A local normal form theorem for infinitary logic with unary quantifiers
    Keisler, HJ
    Lotfallah, WB
    MATHEMATICAL LOGIC QUARTERLY, 2005, 51 (02) : 137 - 144
  • [18] A topological completeness theorem for transfinite provability logic
    Aguilera, Juan P.
    ARCHIVE FOR MATHEMATICAL LOGIC, 2023, 62 (5-6) : 751 - 788
  • [19] An Intuitionistic Completeness Theorem for Classical Predicate Logic
    Victor N. Krivtsov
    Studia Logica, 2010, 96 : 109 - 115
  • [20] A topological completeness theorem for transfinite provability logic
    Juan P. Aguilera
    Archive for Mathematical Logic, 2023, 62 : 751 - 788
12345