AN APPROACH TO INFINITARY PROPOSITIONAL CALCULUS

被引：0
作者：
THOMASON, RH
机构：
来源：
JOURNAL OF SYMBOLIC LOGIC | 1966年 / 31卷 / 01期
关键词：
D O I：
暂无
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：150 / &
相关论文
共 50 条
[41]   THE CLASSICAL PROPOSITIONAL CALCULUS OF ARGUMENTS [J].
BULL, R .
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1984, 30 (01) :45-86
[42]   EXTENSION OF INTUITIONISTIC PROPOSITIONAL CALCULUS [J].
BOWEN, KA .
PROCEEDINGS OF THE KONINKLIJKE NEDERLANDSE AKADEMIE VAN WETENSCHAPPEN SERIES A-MATHEMATICAL SCIENCES, 1971, 74 (03) :287-&
[43]   PROPOSITIONAL CALCULUS - NIDDITCH,PH [J].
LEMMON, EJ .
MIND, 1964, 73 (290) :304-305
[44]   PROPOSITIONAL CALCULUS PROBLEMS IN CHIP [J].
SIMONIS, H ;
DINCBAS, M .
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 463 :189-203
[45]   UNSOLVABLE SUPERINTUITIONISTIC PROPOSITIONAL CALCULUS [J].
SHEKHTMAN, VB .
DOKLADY AKADEMII NAUK SSSR, 1978, 240 (03) :549-552
[46]   Propositional calculus under adjointness [J].
Morsi, NN .
FUZZY SETS AND SYSTEMS, 2002, 132 (01) :91-106
[47]   GENERALIZATIONS OF ENUMERATION REDUCIBILITY USING RECURSIVE INFINITARY PROPOSITIONAL SENTENCES [J].
ASH, CJ .
ANNALS OF PURE AND APPLIED LOGIC, 1992, 58 (03) :173-184
[48]   THE ORIGINALITY OF THE STOICS' PROPOSITIONAL LOGIC COMPARED TO THE CLASSICAL PROPOSITIONAL CALCULUS [J].
Simoes, Eduardo ;
Moreira, Jose Carlos Alves ;
Soares, Pedro Luciano Souza ;
Souza, Thaina Ferreira ;
Freitas, Fabio Augusto Passos .
AUFKLARUNG-REVISTA DE FILOSOFIA, 2022, 9 (02) :93-108
[49]   An Infinitary Affine Lambda-Calculus Isomorphic to the Full Lambda-Calculus [J].
Mazza, Damiano .
2012 27TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2012, :471-480
[50]   INVESTIGATION OF FINITARY CALCULUS FOR A DISCRETE LINEAR TIME LOGIC BY MEANS OF INFINITARY CALCULUS [J].
PLIUSKEVICIUS, R .
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 502 :504-528
12345