Results 31 to 40 of about 20,713 (305)
Connecting the free energy principle with quantum cognition
Frontiers in Neurorobotics, 2022 It appears that the free energy minimization principle conflicts with quantum cognition since the former adheres to a restricted view based on experience while the latter allows deviations from such a restricted view.
Yukio-Pegio Gunji +2 more
doaj +1 more source
Quantum logic and quantum computation [PDF]
, 2007 37 pages, 13 figures, published in Handbook of Quantum Logic and Quantum Structures: Quantum Structures (Edited by Kurt Engesser, Dov M. Gabbay and Daniel Lehmann), Elsevier, Amsterdam, 2007, pp.
Pavicic, Mladen, Megill, Norman D.
openaire +2 more sources
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
Speakable in quantum mechanics: babbling on [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 This paper consists of a short version of the derivation of the intuitionistic quantum logic L_QM (which was originally introduced by Caspers, Heunen, Landsman and Spitters).
Ronnie Hermens
doaj +1 more source
The Dynamic Turn in Quantum Logic [PDF]
, 2011 In this paper we show how ideas coming from two areas of research in logic can reinforce each other. The first such line of inquiry concerns the "dynamic turn" in logic and especially the formalisms inspired by Propositional Dynamic Logic (PDL); while ...
Smets, Sonja +8 more
core +1 more source
Inadequacy of Modal Logic in Quantum Settings [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 We test the principles of classical modal logic in fully quantum settings. Modal logic models our reasoning in multi-agent problems, and allows us to solve puzzles like the muddy children paradox.
Nuriya Nurgalieva, Lídia del Rio
doaj +1 more source
Implementation of Grover’s Algorithm & Bernstein-Vazirani Algorithm with IBM Qiskit
Journal of Informatics and Web EngineeringQuantum logic gates differ from classical logic gates as the former involves quantum operators. The conventional gates such as AND, OR, NOT etc., are generally classified as classical gates, however, some of the quantum gates are known as Pauli gates ...
Yang-Che Liu, Mei-Feng Liu
doaj +1 more source
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
Quantum Logic and Quantum Reconstruction [PDF]
Foundations of Physics, 2015 Quantum logic understood as a reconstruction program had real successes and genuine limitations. This paper offers a synopsis of both and suggests a way of seeing quantum logic in a larger, still thriving context.
openaire +2 more sources
Quantum logic is undecidable [PDF]
Archive for Mathematical Logic, 2020 We investigate the first-order theory of closed subspaces of complex Hilbert spaces in the signature $(\lor,\perp,0,1)$, where `$\perp$' is the orthogonality relation. Our main result is that already its quasi-identities are undecidable: there is no algorithm to decide whether an implication between equations and orthogonality relations implies another
openaire +4 more sources