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 条
  • [31] Parameterized Complexity of Elimination Distance to First-Order Logic Properties
    Fomin, Fedor, V
    Golovach, Petr A.
    Thilikos, Dimitrios M.
    2021 36TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2021,
  • [32] On the Parameterized Complexity of Graph Modification to First-Order Logic Properties
    Fomin, Fedor V.
    Golovach, Petr A.
    Thilikos, Dimitrios M.
    Theory of Computing Systems, 2020, 64 (02): : 251 - 271
  • [33] Destructive Rule-Based Properties and First-Order Logic
    Duris, David
    SOFSEM 2010: THEORY AND PRACTICE OF COMPUTER SCIENCE, PROCEEDINGS, 2010, 5901 : 334 - 345
  • [34] On the Parameterized Complexity of Graph Modification to First-Order Logic Properties
    Fomin, Fedor V.
    Golovach, Petr A.
    Thilikos, Dimitrios M.
    THEORY OF COMPUTING SYSTEMS, 2020, 64 (02) : 251 - 271
  • [35] Parameterized Complexity of Elimination Distance to First-Order Logic Properties
    Fomin, Fedor, V
    Golovach, Petr A.
    Thilikos, Dimitrios M.
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2022, 23 (03)
  • [36] Incompleteness of a first-order Godel logic and some temporal logics of programs
    Baaz, M
    Leitsch, A
    Zach, R
    COMPUTER SCIENCE LOGIC, 1996, 1092 : 1 - 15
  • [37] A paraconsistent higher order logic
    Villadsen, J
    ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION, PROCEEDINGS, 2004, 3249 : 38 - 51
  • [38] First-order logics: some characterizations and closure properties
    Christian Choffrut
    Andreas Malcher
    Carlo Mereghetti
    Beatrice Palano
    Acta Informatica, 2012, 49 : 225 - 248
  • [39] First-order logics: some characterizations and closure properties
    Choffrut, Christian
    Malcher, Andreas
    Mereghetti, Carlo
    Palano, Beatrice
    ACTA INFORMATICA, 2012, 49 (04) : 225 - 248
  • [40] Sperner spaces and first-order logic
    Blass, A
    Pambuccian, V
    MATHEMATICAL LOGIC QUARTERLY, 2003, 49 (02) : 111 - 114
12345