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 [J].
Bokov, G. V. .
ALGEBRA AND LOGIC, 2016, 55 (04) :274-282
[32]   A Schemata Calculus for Propositional Logic [J].
Aravantinos, Vincent ;
Caferra, Ricardo ;
Peltier, Nicolas .
AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, PROCEEDINGS, 2009, 5607 :32-46
[33]   Knowledge forgetting in propositional μ-calculus [J].
Feng, Renyan ;
Wang, Yisong ;
Qian, Ren ;
Yang, Lei ;
Chen, Panfeng .
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2023, 91 (01) :1-43
[34]   Revision in extended propositional calculus [J].
Papini, O ;
Rauzy, A .
SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING AND UNCERTAINTY, 1995, 946 :328-335
[35]   A COUPLE OF NOVELTIES IN THE PROPOSITIONAL CALCULUS [J].
HOARE, CAR .
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1985, 31 (02) :173-178
[36]   The higher dimensional propositional calculus [J].
Bucciarelli, A. ;
Curien, P-L ;
Ledda, A. ;
Paoli, F. ;
Salibra, A. .
LOGIC JOURNAL OF THE IGPL, 2025, 33 (03)
[37]   Weakening the Axiom of Overlap in Infinitary Lambda Calculus [J].
Severi, Paula ;
de Vries, Fer-Jan .
22ND INTERNATIONAL CONFERENCE ON REWRITING TECHNIQUES AND APPLICATIONS (RTA'11), 2011, 10 :313-328
[38]   STRUCTURAL COMPLETENESS OF PROPOSITIONAL CALCULUS [J].
POGORZELSKI, WA .
BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1971, 19 (05) :349-+
[39]   A CALCULUS OF PROPOSITIONAL PROPERTIES OF PROGRAMS [J].
GAISARYAN, SS ;
LASTOVETSKII, AL .
PROGRAMMING AND COMPUTER SOFTWARE, 1990, 16 (03) :93-99
[40]   PROPOSITIONAL CALCULUS - NIDDITCH,PH [J].
PATTON, TE .
PHILOSOPHICAL REVIEW, 1964, 73 (01) :127-129
12345