AN APPROACH TO INFINITARY PROPOSITIONAL CALCULUS

被引：0
|
作者：
THOMASON, RH
机构：
来源：
JOURNAL OF SYMBOLIC LOGIC | 1966年 / 31卷 / 01期
关键词：
D O I：
暂无
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：150 / &
相关论文
共 50 条
  • [31] Undecidable Iterative Propositional Calculus
    Bokov, G. V.
    ALGEBRA AND LOGIC, 2016, 55 (04) : 274 - 282
  • [32] A Schemata Calculus for Propositional Logic
    Aravantinos, Vincent
    Caferra, Ricardo
    Peltier, Nicolas
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, PROCEEDINGS, 2009, 5607 : 32 - 46
  • [33] Weakening the Axiom of Overlap in Infinitary Lambda Calculus
    Severi, Paula
    de Vries, Fer-Jan
    22ND INTERNATIONAL CONFERENCE ON REWRITING TECHNIQUES AND APPLICATIONS (RTA'11), 2011, 10 : 313 - 328
  • [34] STRUCTURAL COMPLETENESS OF PROPOSITIONAL CALCULUS
    POGORZELSKI, WA
    BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1971, 19 (05): : 349 - +
  • [35] A CALCULUS OF PROPOSITIONAL PROPERTIES OF PROGRAMS
    GAISARYAN, SS
    LASTOVETSKII, AL
    PROGRAMMING AND COMPUTER SOFTWARE, 1990, 16 (03) : 93 - 99
  • [36] PROPOSITIONAL CALCULUS - NIDDITCH,PH
    PATTON, TE
    PHILOSOPHICAL REVIEW, 1964, 73 (01): : 127 - 129
  • [37] Knowledge forgetting in propositional μ-calculus
    Feng, Renyan
    Wang, Yisong
    Qian, Ren
    Yang, Lei
    Chen, Panfeng
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2023, 91 (01) : 1 - 43
  • [38] The higher dimensional propositional calculus
    Bucciarelli, A.
    Curien, P-L
    Ledda, A.
    Paoli, F.
    Salibra, A.
    LOGIC JOURNAL OF THE IGPL, 2024,
  • [39] A COUPLE OF NOVELTIES IN THE PROPOSITIONAL CALCULUS
    HOARE, CAR
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1985, 31 (02): : 173 - 178
  • [40] Revision in extended propositional calculus
    Papini, O
    Rauzy, A
    SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING AND UNCERTAINTY, 1995, 946 : 328 - 335
12345