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 条
  • [31] A CALCULUS OF PROPOSITIONAL PROPERTIES OF PROGRAMS
    GAISARYAN, SS
    LASTOVETSKII, AL
    PROGRAMMING AND COMPUTER SOFTWARE, 1990, 16 (03) : 93 - 99
  • [32] PROPOSITIONAL CALCULUS - NIDDITCH,PH
    PATTON, TE
    PHILOSOPHICAL REVIEW, 1964, 73 (01): : 127 - 129
  • [33] 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
  • [34] The higher dimensional propositional calculus
    Bucciarelli, A.
    Curien, P-L
    Ledda, A.
    Paoli, F.
    Salibra, A.
    LOGIC JOURNAL OF THE IGPL, 2024,
  • [35] A COUPLE OF NOVELTIES IN THE PROPOSITIONAL CALCULUS
    HOARE, CAR
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1985, 31 (02): : 173 - 178
  • [36] Revision in extended propositional calculus
    Papini, O
    Rauzy, A
    SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING AND UNCERTAINTY, 1995, 946 : 328 - 335
  • [37] THE CLASSICAL PROPOSITIONAL CALCULUS OF ARGUMENTS
    BULL, R
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1984, 30 (01): : 45 - 86
  • [38] EXTENSION OF INTUITIONISTIC PROPOSITIONAL CALCULUS
    BOWEN, KA
    PROCEEDINGS OF THE KONINKLIJKE NEDERLANDSE AKADEMIE VAN WETENSCHAPPEN SERIES A-MATHEMATICAL SCIENCES, 1971, 74 (03): : 287 - &
  • [39] PROPOSITIONAL CALCULUS - NIDDITCH,PH
    LEMMON, EJ
    MIND, 1964, 73 (290) : 304 - 305
  • [40] PROPOSITIONAL CALCULUS PROBLEMS IN CHIP
    SIMONIS, H
    DINCBAS, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 463 : 189 - 203
12345