DIGITALIZATION, SYSTEMATIZATION, AND FORMULATION OF THE THEORY AND METHODS OF THE PROPOSITIONAL CALCULUS

被引：0

|

作者：

LEDLEY, RS

机构：

来源：

BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY | 1954年 / 60卷 / 04期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：378 / 378

页数：1

相关论文

共 50 条

[41] UNSOLVABLE SUPERINTUITIONISTIC PROPOSITIONAL CALCULUS
SHEKHTMAN, VB
DOKLADY AKADEMII NAUK SSSR, 1978, 240 (03): : 549 - 552
[42] Propositional calculus under adjointness
Morsi, NN
FUZZY SETS AND SYSTEMS, 2002, 132 (01) : 91 - 106
[43] 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
[44] ON THE ISSUE OF DIGITALIZATION TRENDS IN THE FIELD OF SYSTEMATIZATION OF LAW
Mamychev, Alexey Yu
Evgenievna, Kozlova Olesya
Vitalievna, Dyakonova Anastasia
JOURNAL OF LAW AND POLITICAL SCIENCES, 2022, 34 (03): : 475 - 490
[45] Quantified propositional calculus and a second-order theory for NC1
Stephen Cook
Tsuyoshi Morioka
Archive for Mathematical Logic, 2005, 44 : 711 - 749
[46] Quantified propositional calculus and a second-order theory for NC1
Cook, S
Morioka, T
ARCHIVE FOR MATHEMATICAL LOGIC, 2005, 44 (06) : 711 - 749
[47] GENERALIZATION OF THE PROPOSITIONAL CALCULUS FOR PURPOSES OF THE THEORY OF LOGICAL NETS WITH PROBABILISTIC ELEMENTS.
Havranek, Tomas
1600, (10):
[48] 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
[49] A unified approximate reasoning theory suitable for both propositional calculus system L and predicate calculus system K
WANG Guojun
Research Center for Science
Department of Manufacturing Engineering and Engineering Management
Science in China(Series F:Information Sciences), 2005, (01) : 1 - 14
[50] A unified approximate reasoning theory suitable for both propositional calculus system L* and predicate calculus system K*
Wang, GJ
Chin, KS
Dang, CY
SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2005, 48 (01): : 1 - 14

← 1 2 3 4 5 →