Some properties of first-order Nelsonian paraconsistent quantum logic

被引：0
|
作者：
Kamide, Norihiro [1 ]
机构：
[1] Teikyo University, Faculty of Science and Engineering, Department of Information and Electronic Engineering, Toyosatodai 1-1, Tochigi, Utsunomiya,320-8551, Japan
来源：
Journal of Applied Logics | 2020年 / 7卷 / 01期
关键词：
Calculations;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：59 / 88
相关论文
共 50 条
  • [41] On First-Order Logic and CPDA Graphs
    Christopher H. Broadbent
    Theory of Computing Systems, 2014, 55 : 771 - 832
  • [42] First-order conditional logic revisited
    Friedman, N
    Halpern, JY
    Koller, D
    PROCEEDINGS OF THE THIRTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND THE EIGHTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE, VOLS 1 AND 2, 1996, : 1305 - 1312
  • [43] First-order classical modal logic
    Arló-Costa H.
    Pacuit E.
    Studia Logica, 2006, 84 (2) : 171 - 210
  • [44] DATALOG VS FIRST-ORDER LOGIC
    AJTAI, M
    GUREVICH, Y
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1994, 49 (03) : 562 - 588
  • [45] A denotational semantics for first-order logic
    Apt, KR
    COMPUTATIONAL LOGIC - CL 2000, 2000, 1861 : 53 - 69
  • [46] First-Order da Costa Logic
    Graham Priest
    Studia Logica, 2011, 97 : 183 - 198
  • [47] Combining Probability and First-Order Logic
    Leiva, Mario A.
    Garcia, Alejandro J.
    Shakarian, Paulo
    Simari, Gerardo I.
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (345): : 4 - 4
  • [48] Monitoring First-Order Interval Logic
    Havelund, Klaus
    Omer, Moran
    Peled, Doron
    SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM 2021), 2021, 13085 : 66 - 83
  • [49] Relating Z and first-order logic
    Martin, A
    FM'99-FORMAL METHODS, VOL II, 1999, 1709 : 1266 - 1280
  • [50] Abductive equivalence in first-order logic
    Inoue, Katsumi
    Sakama, Chiaki
    LOGIC JOURNAL OF THE IGPL, 2006, 14 (02) : 333 - 346
12345