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 条
  • [1] SOME PROPERTIES OF FIRST-ORDER NELSONIAN PARACONSISTENT QUANTUM LOGIC
    Kamide, Norihiro
    JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2020, 7 (01): : 59 - 88
  • [2] First-order Nelsonian Paraconsistent Quantum Logic
    Kamide, Norihiro
    2019 IEEE 49TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL), 2019, : 176 - 181
  • [3] A basic system of paraconsistent Nelsonian logic of conditionals
    Olkhovikov, Grigory K.
    JOURNAL OF LOGIC LANGUAGE AND INFORMATION, 2024, 33 (4-5) : 299 - 337
  • [4] SOME MODEL-THEORETIC RESULTS ON THE 3-VALUED PARACONSISTENT FIRST-ORDER LOGIC QCIORE
    Coniglio, Marcelo E.
    Gomez-Pereira, G. T.
    Figallo, Martin
    REVIEW OF SYMBOLIC LOGIC, 2021, 14 (01): : 187 - 224
  • [5] THE FIRST-ORDER LOGIC OF CZF IS INTUITIONISTIC FIRST-ORDER LOGIC
    Passmann, Robert
    JOURNAL OF SYMBOLIC LOGIC, 2024, 89 (01) : 308 - 330
  • [6] First-order logic and some existential sentences
    McLeod, Stephen K.
    DISPUTATIO-INTERNATIONAL JOURNAL OF PHILOSOPHY, 2011, 4 (31): : 255 - 270
  • [7] First-Order Logic and First-Order Functions
    Freire, Rodrigo A.
    LOGICA UNIVERSALIS, 2015, 9 (03) : 281 - 329
  • [8] A COMPLETE, CORRECT, AND INDEPENDENT AXIOMATIZATION OF THE FIRST-ORDER FRAGMENT OF A THREE-VALUED PARACONSISTENT LOGIC
    Olkhovikov, Grigory
    JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2016, 3 (03): : 335 - 339
  • [9] Completeness and Cut-Elimination for First-Order Ideal Paraconsistent Four-Valued Logic
    Kamide, Norihiro
    Zohar, Yoni
    STUDIA LOGICA, 2020, 108 (03) : 549 - 571
  • [10] Completeness and Cut-Elimination for First-Order Ideal Paraconsistent Four-Valued Logic
    Norihiro Kamide
    Yoni Zohar
    Studia Logica, 2020, 108 : 549 - 571
12345