QUANTUM LOGIC AND THE CLASSICAL PROPOSITIONAL CALCULUS

被引：3
|
作者：
MALHAS, OQ
机构：
来源：
JOURNAL OF SYMBOLIC LOGIC | 1987年 / 52卷 / 03期
关键词：
D O I：
10.2307/2274369
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：834 / 841
页数：8
相关论文
共 50 条
  • [41] An Unexpected Feature of Classical Propositional Logic in the Tractatus
    Beziau, Jean-Yves
    PHILOSOPHY OF LOGIC AND MATHEMATICS, 2020, 27 : 385 - 395
  • [42] A transformation of propositional Prolog programs into classical logic
    Stark, RF
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 1995, 928 : 302 - 315
  • [43] Substitutional definition of satisfiability in classical propositional logic
    Belov, A
    Stachniak, Z
    THEORY AND APPLICATIONS OF SATISFIABILITY TESTING, PROCEEDINGS, 2005, 3569 : 31 - 45
  • [44] Theories in Classical Propositional Logic and the Converse of Substitution
    Gorbunov, I. A.
    RUSSIAN MATHEMATICS, 2020, 64 (01) : 22 - 24
  • [45] PEIRCE'S CALCULI FOR CLASSICAL PROPOSITIONAL LOGIC
    Ma, Minghui
    Pietarinen, Ahti-Veikko
    REVIEW OF SYMBOLIC LOGIC, 2020, 13 (03): : 509 - 540
  • [46] Rule-Based Visualization of Tableau Calculus for Propositional Logic
    Sharaf, Nada
    Abdennadher, Slim
    Fruehwirth, Thom
    2018 22ND INTERNATIONAL CONFERENCE INFORMATION VISUALISATION (IV), 2018, : 368 - 372
  • [47] ON SEMANTICS OF A TERM CALCULUS FOR CLASSICAL LOGIC
    Likavec, Silvia
    Lescanne, Pierre
    PUBLICATIONS DE L INSTITUT MATHEMATIQUE-BEOGRAD, 2012, 92 (106): : 79 - 95
  • [48] Sequent calculus for classical logic probabilized
    Marija Boričić
    Archive for Mathematical Logic, 2019, 58 : 119 - 136
  • [49] Non deterministic classical logic:: The λμ++-calculus
    Nour, K
    MATHEMATICAL LOGIC QUARTERLY, 2002, 48 (03) : 357 - 366
  • [50] Sequent calculus for classical logic probabilized
    Boricic, Marija
    ARCHIVE FOR MATHEMATICAL LOGIC, 2019, 58 (1-2) : 119 - 136
12345