Results 281 to 290 of about 20,713 (305)

Is Quantum Logic a Logic?

2008
It is shown that quantum logic is a logic in the very same way in which classical logic is a logic. Soundness and completeness of both quantum and classical logics have been proved for novel lattice models that are not orthomodular and therefore cannot be distributive either -as opposed to the standard lattice models that are orthomodular and ...
openaire   +1 more source

On the logic of quantum logic

Journal of Philosophical Logic, 1977
openaire   +1 more source

Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs

Information and Computation, 2023
, Sanjiang Li
exaly  

Quantum Logics

2002
DALLA CHIARA M, GIUNTINI, ROBERTO
openaire   +3 more sources

Quantum Logic and Nonclassical Logics

2009
DALLA CHIARA ML, GIUNTINI, ROBERTO, PAOLI, FRANCESCO, CATTANEO G.   +3 more
openaire   +3 more sources

On incorrectness logic for Quantum programs

2022
Peng Yan, Hanru Jiang, Nengkun Yu
exaly  

Multiplexed Analysis of Hg2+ and Ag+ Ions by Nucleic Acid Functionalized CdSe/ZnS Quantum Dots and Their Use for Logic Gate Operations

Angewandte Chemie - International Edition, 2009
Ronit Freeman, Itamar Willner
exaly  

Finite automata based on quantum logic and monadic second-order quantum logic

Science China Information Sciences, 2010
Yongming Li
exaly  

A theory of computation based on quantum logic (I)

Theoretical Computer Science, 2005
Mingsheng Ying
exaly  

Implementation of quantum logic gates using polar molecules in pendular states

Journal of Chemical Physics, 2013
Sabre Kais, Qi Wei, Dudley R Herschbach   +2 more
exaly