Results 11 to 20 of about 1,708,303 (255)
Reasoning about Quantum Information: An Overview of Quantum Dynamic Logic
Applied Sciences, 2022 This paper provides an overview of quantum dynamic logics, showing how they have been designed and illustrating how these logics can be applied to verify the correctness of quantum protocols.
Alexandru Baltag, Sonja Smets
doaj +1 more source
Fault‐tolerant quantum implementation of conventional decoder logic with enable input
IET Circuits, Devices and Systems, 2021 Decoherence is the greatest obstacle to the physical realization of scalable quantum computer, jeopardises coherent superposition of the qubit, and makes qubit extremely fragile.
Laxmidhar Biswal +2 more
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
ریاضی و جامعهThis article employs a descriptive-analytical method with an algebraic and axiomatic approach to address quantum logic. Through several thought experiments, it is demonstrated that the distributive law for propositions does not hold in quantum mechanics.
Alireza Moazzen
doaj +1 more source
Fibred Coalgebraic Logic and Quantum Protocols [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 Motivated by applications in modelling quantum systems using coalgebraic techniques, we introduce a fibred coalgebraic logic. Our approach extends the conventional predicate lifting semantics with additional modalities relating conditions on different ...
Daniel Marsden
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
An Application of Quantum Logic to Experimental Behavioral Science
Quantum Reports, 2021 In 1933, Kolmogorov synthesized the basic concepts of probability that were in general use at the time into concepts and deductions from a simple set of axioms that said probability was a σ-additive function from a boolean algebra of events into [0, 1 ...
Louis Narens
doaj +1 more source
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
Intuitionistic quantum logic of an n-level system [PDF]
, 2009 A decade ago, Isham and Butterfield proposed a topos theoretic approach to quantum mechanics, which meanwhile has been extended by Doering and Isham so as to provide a new mathematical foundation for all of physics.
Landsman, N.P. +19 more
core +2 more sources
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