Results 291 to 300 of about 1,783,241 (304)

QUANTUM LOGIC

2014
MORELLO ANDREA, KALRA RACHPON, LAUCHT ARNE   +2 more
openaire   +6 more sources

On Incorrectness Logic for Quantum Programs

2022
Hanru Jiang, Nengkun Yu, Peng Yan
exaly  

Quantum Relational Hoare Logic

2019
Dominique Unruh
exaly  

Square Root of ‘Not’: A Major Difference Between Fuzzy and Quantum Logics

International Journal of General Systems, 2011
Vladik Kreinovich
exaly  

Quantum Logic

1978
Peter Mittelstaedt
exaly  

Proof Theory of Paraconsistent Quantum Logic

Journal of Philosophical Logic, 2018
Norihiro Kamide
exaly  

Fuzzy Intuitionistic Quantum Logics

Studia Logica, 1993
Roberto Giuntini, Gianpiero Cattaneo
exaly  

Implementation of Quantum Logic Gates Using Polar Molecules in Pendular States

Journal of Chemical Physics, 2013
Qi Wei, Bretislav Friedrich, Sabre Kais
exaly  

Orthologic and Quantum Logic

Journal of the ACM, 2000
S A Selesnick
exaly  

A Many-Valued Approach to Quantum Computational Logics

Fuzzy Sets and Systems, 2018
Roberto Leporini, Giuseppe Sergioli, Roberto Giuntini   +2 more
exaly