ON A PROPOSITIONAL CALCULUS WHOSE DECISION PROBLEM IS RECURSIVELY UNSOLVABLE

被引：0
|
作者：
NAKAMURA, A
机构：
来源：
NAGOYA MATHEMATICAL JOURNAL | 1970年 / 38卷
关键词：
D O I：
10.1017/S0027763000013593
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：145 / &
相关论文
共 50 条
  • [41] A CALCULUS OF PROPOSITIONAL PROPERTIES OF PROGRAMS
    GAISARYAN, SS
    LASTOVETSKII, AL
    PROGRAMMING AND COMPUTER SOFTWARE, 1990, 16 (03) : 93 - 99
  • [42] 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
  • [43] Revision in extended propositional calculus
    Papini, O
    Rauzy, A
    SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING AND UNCERTAINTY, 1995, 946 : 328 - 335
  • [44] A COUPLE OF NOVELTIES IN THE PROPOSITIONAL CALCULUS
    HOARE, CAR
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1985, 31 (02): : 173 - 178
  • [45] The higher dimensional propositional calculus
    Bucciarelli, A.
    Curien, P-L
    Ledda, A.
    Paoli, F.
    Salibra, A.
    LOGIC JOURNAL OF THE IGPL, 2024,
  • [46] THE CLASSICAL PROPOSITIONAL CALCULUS OF ARGUMENTS
    BULL, R
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1984, 30 (01): : 45 - 86
  • [47] EXTENSION OF INTUITIONISTIC PROPOSITIONAL CALCULUS
    BOWEN, KA
    PROCEEDINGS OF THE KONINKLIJKE NEDERLANDSE AKADEMIE VAN WETENSCHAPPEN SERIES A-MATHEMATICAL SCIENCES, 1971, 74 (03): : 287 - &
  • [48] PROPOSITIONAL CALCULUS - NIDDITCH,PH
    LEMMON, EJ
    MIND, 1964, 73 (290) : 304 - 305
  • [49] PROPOSITIONAL CALCULUS PROBLEMS IN CHIP
    SIMONIS, H
    DINCBAS, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 463 : 189 - 203
  • [50] Propositional calculus under adjointness
    Morsi, NN
    FUZZY SETS AND SYSTEMS, 2002, 132 (01) : 91 - 106
12345