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 条
  • [21] First-order logic: An introduction
    Adler, JE
    JOURNAL OF PHILOSOPHY, 2000, 97 (10): : 577 - 580
  • [22] First-order intensional logic
    Fitting, M
    ANNALS OF PURE AND APPLIED LOGIC, 2004, 127 (1-3) : 171 - 193
  • [23] The First-Order Logic of Hyperproperties
    Finkbeiner, Bernd
    Zimmermann, Martin
    34TH SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE (STACS 2017), 2017, 66
  • [24] COMPUTING WITH FIRST-ORDER LOGIC
    ABITEBOUL, S
    VIANU, V
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1995, 50 (02) : 309 - 335
  • [25] Some Turing-Complete Extensions of First-Order Logic
    Kuusisto, Antti
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (161): : 4 - 17
  • [26] A First-order Logic with Frames
    Murali, Adithya
    Pena, Lucas
    Loeding, Christof
    Madhusudan, P.
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2023, 45 (02):
  • [27] Indistinguishability and first-order logic
    Jordan, Skip
    Zeugmann, Thomas
    THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, PROCEEDINGS, 2008, 4978 : 94 - 104
  • [28] From separation logic to first-order logic
    Calcagno, C
    Gardner, P
    Hague, M
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PROCEEDINGS, 2005, 3441 : 395 - 409
  • [29] From First-Order Logic to Assertional Logic
    Zhou, Yi
    ARTIFICIAL GENERAL INTELLIGENCE: 10TH INTERNATIONAL CONFERENCE, AGI 2017, 2017, 10414 : 87 - 97
  • [30] On the Parameterized Complexity of Graph Modification to First-Order Logic Properties
    Fedor V. Fomin
    Petr A. Golovach
    Dimitrios M. Thilikos
    Theory of Computing Systems, 2020, 64 : 251 - 271
12345