Proof Theory of Paraconsistent Quantum Logic

被引：0
作者：
Norihiro Kamide
机构：
[1] Teikyo University,
[2] Faculty of Science and Engineering,undefined
[3] Department of Information and Electronic Engineering,undefined
来源：
Journal of Philosophical Logic | 2018年 / 47卷
关键词：
Paraconsistent logic; Quantum logic; Sequent calculus; Cut-elimination theorem;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Paraconsistent quantum logic, a hybrid of minimal quantum logic and paraconsistent four-valued logic, is introduced as Gentzen-type sequent calculi, and the cut-elimination theorems for these calculi are proved. This logic is shown to be decidable through the use of these calculi. A first-order extension of this logic is also shown to be decidable. The relationship between minimal quantum logic and paraconsistent four-valued logic is clarified, and a survey of existing Gentzen-type sequent calculi for these logics and their close relatives is addressed.
引用
收藏
页码：301 / 324
页数：23
相关论文
共 29 条
[1]  
Aoyama H(2003)On a weak system of sequent calculus Journal of Logical Philosophy 3 29-37
[2]  
Aoyama H(2004)LK, LJ, dual intuitionistic logic, and quantum logic Notre Dame Journal of Formal Logic 45 193-213
[3]  
Birkhoff G(1936)The logic of quantum mechanics Annals of Mathematics 37 823-843
[4]  
von Neumann J(2001)Finite sum-product logic Theory and Applications of Categories 8 63-99
[5]  
Cockett JR(1982)A regular sequent calculus for quantum logic in which ∧ and ∨ are dual Logique et Analyse 99 221-248
[6]  
Seely RAG(1989)Paraconsistent quantum logics Foundations of Physics 19 891-904
[7]  
Cutland NJ(1976)Intuitive semantics for first-degree entailment and ‘coupled trees’ Philosophical Studies 29 149-168
[8]  
Gibbins PF(2000)Partiality and its dual Studia Logica 65 5-40
[9]  
Dalla Chiara ML(1998)From basic logic to quantum logics with cut-elimination International Journal of Theoretical Physics 37 31-37
[10]  
Giuntini R(1997)Belnap’s four-valued logic and de Morgan lattices Logic Journal of the IGPL 5 413-440
123