AN ALGEBRA RELATED WITH A PROPOSITIONAL CALCULUS

被引：330
|
作者：
ISEKI, K
机构：
来源：
PROCEEDINGS OF THE JAPAN ACADEMY | 1966年 / 42卷 / 01期
关键词：
D O I：
10.3792/pja/1195522171
中图分类号：
O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];
学科分类号：
07 ; 0710 ; 09 ;
摘要：
引用
下载
收藏
页码：26 / &
相关论文
共 50 条
  • [21] AN APPROACH TO INFINITARY PROPOSITIONAL CALCULUS
    THOMASON, RH
    JOURNAL OF SYMBOLIC LOGIC, 1966, 31 (01) : 150 - &
  • [22] A CALCULUS OF PROPOSITIONAL PROPERTIES OF PROGRAMS
    GAISARYAN, SS
    LASTOVETSKII, AL
    PROGRAMMING AND COMPUTER SOFTWARE, 1990, 16 (03) : 93 - 99
  • [23] PROPOSITIONAL CALCULUS - NIDDITCH,PH
    PATTON, TE
    PHILOSOPHICAL REVIEW, 1964, 73 (01): : 127 - 129
  • [24] 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
  • [25] The higher dimensional propositional calculus
    Bucciarelli, A.
    Curien, P-L
    Ledda, A.
    Paoli, F.
    Salibra, A.
    LOGIC JOURNAL OF THE IGPL, 2024,
  • [26] A COUPLE OF NOVELTIES IN THE PROPOSITIONAL CALCULUS
    HOARE, CAR
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1985, 31 (02): : 173 - 178
  • [27] Revision in extended propositional calculus
    Papini, O
    Rauzy, A
    SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING AND UNCERTAINTY, 1995, 946 : 328 - 335
  • [28] THE CLASSICAL PROPOSITIONAL CALCULUS OF ARGUMENTS
    BULL, R
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1984, 30 (01): : 45 - 86
  • [29] EXTENSION OF INTUITIONISTIC PROPOSITIONAL CALCULUS
    BOWEN, KA
    PROCEEDINGS OF THE KONINKLIJKE NEDERLANDSE AKADEMIE VAN WETENSCHAPPEN SERIES A-MATHEMATICAL SCIENCES, 1971, 74 (03): : 287 - &
  • [30] PROPOSITIONAL CALCULUS - NIDDITCH,PH
    LEMMON, EJ
    MIND, 1964, 73 (290) : 304 - 305
12345