Systems of Quantum Logic

被引：0

作者：

Titani, Satoko ^{[1
]}

Kodera, Heiji ^{[2
]}

Aoyama, Hiroshi ^{[3
]}

机构：

[1] Chubu Univ, Kasugai, Aichi 4878501, Japan

[2] Aichi Univ Educ, Kariya, Aichi 4488542, Japan

[3] Tokaigakuen Univ, Fac Humanities, Nagoya, Aichi 4688514, Japan

来源：

STUDIA LOGICA | 2013年 / 101卷 / 01期

关键词：

Logic; Modality; Quantum theory; Set theory;

D O I：

10.1007/s11225-011-9364-9

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

Logical implications are closely related to modal operators. Lattice-valued logic LL and quantum logic QL were formulated in Titani S (1999) Lattice Valued Set Theory. Arch Math Logic 38:395-421, Titani S (2009) A Completeness Theorem of Quantum Set Theory. In: Engesser K, Gabbay DM, Lehmann D (eds) Handbook of Quantum Logic and Quantum Structures: Quantum Logic. Elsevier Science Ltd., pp. 661-702, by introducing the basic implication -> which represents the lattice order. In this paper, we fomulate a predicate orthologic provided with the basic implication, which corresponds to complete ortholattices, and then formulate a quantum logic which is equivalent to QL, by using a modal operator instead of the basic implication.

引用

页码：193 / 217

页数：25

共 50 条

[31] Nuclear spin based memory and logic in quantum Hall semiconductor nanostructures for quantum computing applications
Mani, RG
Johnson, WB
Narayanamurti, V
Privman, V
Zhang, YH
[J]. PHYSICA E-LOW-DIMENSIONAL SYSTEMS & NANOSTRUCTURES, 2002, 12 (1-4) : 152 - 156
[32] Application of paraconsistent annotated logic in intelligent systems
Encheva, Sylvia
Tumin, Sharil
Kondratenko, Yuriy
[J]. ADVANCED INTELLIGENT COMPUTING THEORIES AND APPLICATIONS: WITH ASPECTS OF THEORETICAL AND METHODOLOGICAL ISSUES, 2007, 4681 : 702 - +
[33] Real-Orthogonal Projections as Quantum Pseudo-Logic
Matvejchuk, Marjan
Widdows, Dominic
[J]. QUANTUM INTERACTION, QI 2015, 2016, 9535 : 275 - 283
[34] On classical, fuzzy classical, quantum, and fuzzy quantum systems
Seising, Rudolf
[J]. PROCEEDINGS OF THE JOINT 2009 INTERNATIONAL FUZZY SYSTEMS ASSOCIATION WORLD CONGRESS AND 2009 EUROPEAN SOCIETY OF FUZZY LOGIC AND TECHNOLOGY CONFERENCE, 2009, : 1338 - 1342
[35] Graph approach to quantum systems
Pavicic, Mladen
McKay, Brendan D.
Megill, Norman D.
Fresl, Kresimir
[J]. JOURNAL OF MATHEMATICAL PHYSICS, 2010, 51 (10)
[36] Convergence of quantum systems on grids
Varadarajan, V. S.
Weisbart, David
[J]. JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, 2007, 336 (01) : 608 - 624
[37] General systems, classical systems, quantum systems and fuzzy systems: an introductory survey
Seising, Rudolf
[J]. INTERNATIONAL JOURNAL OF GENERAL SYSTEMS, 2011, 40 (01) : 1 - 9
[38] Contextual semantics: From quantum mechanics to logic, databases, constraints, and complexity
[J]. Abramsky, S. (samson.abramsky@cs.ox.ac.uk), 1600, European Association for Theoretical Computer Science
[39] Probabilistic extension and logic of complex unstable dynamical systems
Antoniou, I
Suchanecki, Z
[J]. NONLINEAR ANALYSIS-THEORY METHODS & APPLICATIONS, 1997, 30 (04) : 1939 - 1958
[40] Logic in religious and non-religious belief systems
Piotr Balcerowicz
[J]. International Journal for Philosophy of Religion, 2018, 84 : 113 - 129

← 1 2 3 4 5 →