Results 21 to 30 of about 1,783,241 (304)
Editorial for the Special Issue on Magnetic and Spin Devices
Micromachines, 2022 As scaling of semiconductor devices displays signs of saturation, the focus of research in microelectronics shifts towards finding new computing paradigms based on novel physical principles [...]
Viktor Sverdlov, Nuttachai Jutong
doaj +1 more source
Quantum Uncertainties and Holism Seem to Render Irrelevant Qudit-Semantics
Entropy, 2021 We consider a semantics based on the peculiar holistic features of the quantum formalism. Any formula of the language gives rise to a quantum circuit that transforms the density operator associated to the formula into the density operator associated to ...
Roberto Leporini
doaj +1 more source
Duality Theory and Categorical Universal Logic: With Emphasis on Quantum Structures [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 Categorical Universal Logic is a theory of monad-relativised hyperdoctrines (or fibred universal algebras), which in particular encompasses categorical forms of both first-order and higher-order quantum logics as well as classical, intuitionistic, and ...
Yoshihiro Maruyama
doaj +1 more source
From Boolean Valued Analysis to Quantum Set Theory: Mathematical Worldview of Gaisi Takeuti
Mathematics, 2021 Gaisi Takeuti introduced Boolean valued analysis around 1974 to provide systematic applications of the Boolean valued models of set theory to analysis. Later, his methods were further developed by his followers, leading to solving several open problems ...
Masanao Ozawa
doaj +1 more source
A categorical quantum logic [PDF]
Mathematical Structures in Computer Science, 2006 We define a strongly normalising proof-net calculus corresponding to the logic of strongly compact closed categories with biproducts. The calculus is a full and faithful representation of the free strongly compact closed category with biproducts on a given category with an involution.
Samson Abramsky, Ross Duncan
openaire +7 more sources
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
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
A Quantum Interpretation of Bunched Logic for Quantum Separation Logic
CoRR, 2021 52 ...
Li Zhou 0013 +4 more
openaire +2 more sources
ریاضی و جامعه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