AN APPROACH TO INFINITARY PROPOSITIONAL CALCULUS

被引：0
|
作者：
THOMASON, RH
机构：
来源：
JOURNAL OF SYMBOLIC LOGIC | 1966年 / 31卷 / 01期
关键词：
D O I：
暂无
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：150 / &
相关论文
共 50 条
  • [1] PARACONSISTENT INFINITARY PROPOSITIONAL CALCULUS
    LUNGARZO, C
    JOURNAL OF SYMBOLIC LOGIC, 1978, 43 (02) : 359 - 359
  • [2] ON SEMANTICAL COMPLETENESS OF 2 SYSTEMS OF INFINITARY PROPOSITIONAL CALCULUS
    THOMASON, RH
    JOURNAL OF SYMBOLIC LOGIC, 1966, 31 (04) : 703 - &
  • [3] An infinitary propositional probability logic
    Baratella, Stefano
    ARCHIVE FOR MATHEMATICAL LOGIC, 2023, 62 (3-4) : 291 - 320
  • [4] An infinitary propositional probability logic
    Stefano Baratella
    Archive for Mathematical Logic, 2023, 62 : 291 - 320
  • [5] Infinitary lambda calculus
    Kennaway, JR
    Klop, JW
    Sleep, MR
    deVries, FJ
    THEORETICAL COMPUTER SCIENCE, 1997, 175 (01) : 93 - 125
  • [6] INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY
    Badia, Guillermo
    REVIEW OF SYMBOLIC LOGIC, 2017, 10 (04): : 663 - 681
  • [7] The Semantics of Gringo and Infinitary Propositional Formulas
    Harrison, Amelia
    Lifschitz, Vladimir
    Yang, Fangkai
    FOURTEENTH INTERNATIONAL CONFERENCE ON THE PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2014, : 32 - 41
  • [8] PROPOSITIONAL CALCULUS
    KYBURG, H
    AMERICAN MATHEMATICAL MONTHLY, 1965, 72 (04): : 437 - &
  • [9] Applications of infinitary lambda calculus
    Barendregt, Henk
    Klop, Jan Willem
    INFORMATION AND COMPUTATION, 2009, 207 (05) : 559 - 582
  • [10] Koepke Machines and Satisfiability for Infinitary Propositional Languages
    Carl, Merlin
    Loewe, Benedikt
    Rin, Benjamin G.
    UNVEILING DYNAMICS AND COMPLEXITY, CIE 2017, 2017, 10307 : 187 - 197
12345