A REMARK ON PROPOSITIONAL CALCULUS WITH VARIABLE FUNCTORS

被引：1
|
作者：
ARAI, Y
TANAKA, S
机构：
来源：
PROCEEDINGS OF THE JAPAN ACADEMY | 1966年 / 42卷 / 09期
关键词：
D O I：
10.3792/pja/1195521804
中图分类号：
O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];
学科分类号：
07 ; 0710 ; 09 ;
摘要：
引用
收藏
页码：1056 / &
相关论文
共 50 条
  • [31] A Schemata Calculus for Propositional Logic
    Aravantinos, Vincent
    Caferra, Ricardo
    Peltier, Nicolas
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, PROCEEDINGS, 2009, 5607 : 32 - 46
  • [32] STRUCTURAL COMPLETENESS OF PROPOSITIONAL CALCULUS
    POGORZELSKI, WA
    BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1971, 19 (05): : 349 - +
  • [33] PROPOSITIONAL CALCULUS - NIDDITCH,PH
    PATTON, TE
    PHILOSOPHICAL REVIEW, 1964, 73 (01): : 127 - 129
  • [34] AN APPROACH TO INFINITARY PROPOSITIONAL CALCULUS
    THOMASON, RH
    JOURNAL OF SYMBOLIC LOGIC, 1966, 31 (01) : 150 - &
  • [35] A CALCULUS OF PROPOSITIONAL PROPERTIES OF PROGRAMS
    GAISARYAN, SS
    LASTOVETSKII, AL
    PROGRAMMING AND COMPUTER SOFTWARE, 1990, 16 (03) : 93 - 99
  • [36] 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
  • [37] Revision in extended propositional calculus
    Papini, O
    Rauzy, A
    SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING AND UNCERTAINTY, 1995, 946 : 328 - 335
  • [38] A COUPLE OF NOVELTIES IN THE PROPOSITIONAL CALCULUS
    HOARE, CAR
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1985, 31 (02): : 173 - 178
  • [39] The higher dimensional propositional calculus
    Bucciarelli, A.
    Curien, P-L
    Ledda, A.
    Paoli, F.
    Salibra, A.
    LOGIC JOURNAL OF THE IGPL, 2024,
  • [40] THE CLASSICAL PROPOSITIONAL CALCULUS OF ARGUMENTS
    BULL, R
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1984, 30 (01): : 45 - 86
12345