Results 11 to 20 of about 14,291 (316)
Reflections on quantum logic [PDF]
International Journal of Theoretical Physics, 1983 This is a short, self-contained summary of problems connected with the interpretation of state vectors in quantum mechanics. We discuss the reconstruction of the “ψ function” from statistical data, some related mathematical questions, the classical “paradoxes,” the probability interpretation of the state vectors, and, finally, quantum logic in relation
B. Z. Moroz
openaire +5 more sources
, 2001 We investigate some forms of quantum logic arising from the standard and the unsharp approach.
Chiara, M. L. Dalla, Giuntini, R.
openaire +4 more sources
Entropy, 2021 This paper investigates the usage of logic and logic programming in the design of smart contracts. Our starting point is the logic-based programming language for smart contracts used in a recently proposed framework of quantum-secured blockchain, called ...
Xin Sun, Piotr Kulicki, Mirek Sopek
doaj +1 more source
Design of quantum optical experiments with logic artificial intelligence [PDF]
Quantum, 2022 Logic Artificial Intelligence (AI) is a subfield of AI where variables can take two defined arguments, True or False, and are arranged in clauses that follow the rules of formal logic.
Alba Cervera-Lierta +2 more
doaj +1 more source
A First Step to the Categorical Logic of Quantum Programs
Entropy, 2020 The long-term goal of our research is to develop a powerful quantum logic which is useful in the formal verification of quantum programs and protocols.
Xin Sun, Feifei He
doaj +1 more source
Generalized Rough Sets via Quantum Implications on Quantum Logic
Axioms, 2021 This paper introduces some new concepts of rough approximations via five quantum implications satisfying Birkhoff–von Neumann condition. We first establish rough approximations via Sasaki implication and show the equivalence between distributivity of ...
Songsong Dai
doaj +1 more source
On Multiplicative Linear Logic, Modality and Quantum Circuits [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 A logical system derived from linear logic and called QMLL is introduced and shown able to capture all unitary quantum circuits. Conversely, any proof is shown to compute, through a concrete GoI interpretation, some quantum circuits.
Ugo Dal Lago, Claudia Faggian
doaj +1 more source
A topology on quantum logics [PDF]
Proceedings of the American Mathematical Society, 1989 A uniform topology τ M {\tau _M} induced by a set M M of finite measures on a quantum logic L L is studied. If m m is a valuation on L L , the topology τ m {\tau _m} induced ...
Zdenka Riečanová, Sylvia Pulmannová
openaire +2 more sources
Sequent Calculi for Orthologic with Strict Implication
Bulletin of the Section of Logic, 2022 In this study, new sequent calculi for a minimal quantum logic (\(\bf MQL\)) are discussed that involve an implication. The sequent calculus \(\bf GO\) for \(\bf MQL\) was established by Nishimura, and it is complete with respect to ortho-models (O ...
Tomoaki Kawano
doaj +1 more source
Neutrosophic Quantum Theory: Partial Entanglement, Partial Effect of the Observer, and Teleportation [PDF]
Neutrosophic Sets and SystemsQuantum mechanics presents phenomena, such as entanglement and the observer effect, that challenge classical logical frameworks. Traditional binary and even fuzzy logic often prove insufficient in capturing the inherent imprecision, incompleteness, and ...
Florentin Smarandache
doaj +1 more source