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 条
  • [1] FUNCTION ALGEBRA AND PROPOSITIONAL CALCULUS
    LERCHER, B
    [J]. JOURNAL OF SYMBOLIC LOGIC, 1966, 31 (02) : 272 - &
  • [2] BOOLEAN-ALGEBRA AND THE PROPOSITIONAL CALCULUS - DISCUSSION
    LEBLANC, H
    [J]. MIND, 1962, 71 (283) : 383 - 386
  • [3] An interpretation of the propositional Boolean algebra as a k-algebra. Effective calculus
    Laita, LM
    deLedesma, L
    RoanesLozano, E
    RoanesMacias, E
    [J]. INTEGRATING SYMBOLIC MATHEMATICAL COMPUTATION AND ARTIFICIAL INTELLIGENCE, 1995, 958 : 255 - 263
  • [4] PROPOSITIONAL CALCULUS
    KYBURG, H
    [J]. AMERICAN MATHEMATICAL MONTHLY, 1965, 72 (04): : 437 - &
  • [5] PROPOSITIONAL CALCULUS AND REALIZABILITY
    ROSE, GF
    [J]. TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1953, 75 (JUL) : 1 - 19
  • [6] REVISION IN PROPOSITIONAL CALCULUS
    PAPINI, O
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 548 : 272 - 276
  • [7] THE PRIZ SYSTEM AND PROPOSITIONAL CALCULUS
    VOLOZH, BB
    MATSKIN, MB
    MINTS, GE
    TYUGU, EK
    [J]. CYBERNETICS, 1982, 18 (06): : 777 - 788
  • [8] Space complexity in propositional calculus
    Alekhnovich, M
    Ben-Sasson, E
    Razborov, AA
    Wigderson, A
    [J]. SIAM JOURNAL ON COMPUTING, 2002, 31 (04) : 1184 - 1211
  • [9] Knowledge forgetting in propositional μ-calculus
    Renyan Feng
    Yisong Wang
    Ren Qian
    Lei Yang
    Panfeng Chen
    [J]. Annals of Mathematics and Artificial Intelligence, 2023, 91 : 1 - 43
  • [10] Basic propositional calculus I
    Ardeshir, M
    Ruitenburg, W
    [J]. MATHEMATICAL LOGIC QUARTERLY, 1998, 44 (03) : 317 - 343
12345