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
BULL, R
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1984, 30 (01): : 45 - 86
[42] EXTENSION OF INTUITIONISTIC PROPOSITIONAL CALCULUS
BOWEN, KA
PROCEEDINGS OF THE KONINKLIJKE NEDERLANDSE AKADEMIE VAN WETENSCHAPPEN SERIES A-MATHEMATICAL SCIENCES, 1971, 74 (03): : 287 - &
[43] PROPOSITIONAL CALCULUS - NIDDITCH,PH
LEMMON, EJ
MIND, 1964, 73 (290) : 304 - 305
[44] PROPOSITIONAL CALCULUS PROBLEMS IN CHIP
SIMONIS, H
DINCBAS, M
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 463 : 189 - 203
[45] UNSOLVABLE SUPERINTUITIONISTIC PROPOSITIONAL CALCULUS
SHEKHTMAN, VB
DOKLADY AKADEMII NAUK SSSR, 1978, 240 (03): : 549 - 552
[46] Propositional calculus under adjointness
Morsi, NN
FUZZY SETS AND SYSTEMS, 2002, 132 (01) : 91 - 106
[47] GENERALIZATIONS OF ENUMERATION REDUCIBILITY USING RECURSIVE INFINITARY PROPOSITIONAL SENTENCES
ASH, CJ
ANNALS OF PURE AND APPLIED LOGIC, 1992, 58 (03) : 173 - 184
[48] A Propositional Cirquent Calculus for Computability LogicA Propositional Cirquent Calculus for Computability LogicG. Japaridze
Giorgi Japaridze
Journal of Logic, Language and Information, 2024, 33 (4) : 363 - 389
[49] THE ORIGINALITY OF THE STOICS' PROPOSITIONAL LOGIC COMPARED TO THE CLASSICAL PROPOSITIONAL CALCULUS
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
[50] An Infinitary Affine Lambda-Calculus Isomorphic to the Full Lambda-Calculus
Mazza, Damiano
2012 27TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2012, : 471 - 480

← 1 2 3 4 5 →