Search results
From MaRDI portal
- 1997-08-03 Paper Quantum logic as partial infinite-valued Łukasiewicz logic 1996-06-19 Paper Fuzzy quantum logics and infinite-valued Łukasiewicz logic 1995-08-27...10 bytes (16 words) - 02:50, 12 December 2023
- Maps on a quantum logic 2010-08-23 Paper Conditional states and independence in D-posets 2010-08-23 Paper Copula and s-map on a quantum logic 2010-01-28...10 bytes (16 words) - 02:50, 12 December 2023
- Publication Type Formal verification of quantum algorithms using quantum Hoare logic 2024-02-16 Paper Quantum algorithm for lexicographically minimal string...10 bytes (17 words) - 21:15, 8 December 2023
- Metaphors in Science and in Music. A Quantum Semantic Approach 2019-06-14 Paper Quantum computation and logic. How quantum computers have inspired logical investigations...10 bytes (20 words) - 19:17, 8 December 2023
- multipartiteness, entanglement and quantum localization 2006-09-28 Paper ‘Lazy’ quantum ensembles 2006-09-28 Paper Superpositional quantum network topologies 2005-04-18...10 bytes (18 words) - 10:25, 12 December 2023
- modeling library of eavesdropping methods in quantum cryptography protocols by model checking 2017-03-28 Paper Quantum homomorphic signature based on Bell-state...10 bytes (17 words) - 16:42, 10 December 2023
- many worlds in quantum mechanics 2014-03-03 Paper The Square of Opposition in Orthomodular Logic 2013-04-11 Paper Quantum computational logic with mixed states...10 bytes (16 words) - 22:46, 11 December 2023
- Łukasiewicz sum as a quantum operation 2019-08-14 Paper Book review of: M. L. Dalla Chiara et al., Quantum computation and logic. How quantum computers have...10 bytes (16 words) - 13:36, 11 December 2023
- the correctness of quantum protocols in the probabilistic logic for quantum programs 2018-02-27 Paper Duality for the logic of quantum actions 2015-09-15...10 bytes (18 words) - 01:36, 12 December 2023
- 2016-11-22 Paper Abstract quantum computing machines and quantum computational logics 2016-11-09 Paper Holistic logical arguments in quantum computation 2016-10-05...10 bytes (17 words) - 12:25, 11 December 2023
- Quotient dynamics: the logic of abstraction 2017-11-22 Paper Topo-logic as a dynamic-epistemic logic 2017-11-22 Paper The Logic of Public Announcements...10 bytes (16 words) - 03:17, 10 December 2023
- Paper Concepts of measures on ring-like quantum logics 2001-09-19 Paper Lattice properties of ring-like quantum logics 2001-02-25 Paper Unitary and antiunitary...10 bytes (18 words) - 22:57, 8 December 2023
- 2012-11-15 Paper The Logic of Justified Belief Change, Soft Evidence and Defeasible Knowledge 2012-09-21 Paper Quantum logic as a dynamic logic 2011-06-08 Paper...10 bytes (18 words) - 03:17, 10 December 2023
- Paper Complete mixing quantum open systems and quantum fractals. 2001-01-01 Paper Completely mixing quantum open systems and quantum fractals 2000-12-19...10 bytes (16 words) - 10:16, 8 December 2023
- in quantum logics 1994-09-20 Paper Nonordered quantum logic and its YES-NO representation 1994-08-21 Paper A new axiomatization of unified quantum logic...10 bytes (16 words) - 16:55, 7 December 2023
- Medium 2016-04-19 Paper Quantal Logic vs Classical Logic 2007-02-08 Paper Quantum Chaos and Randomness 2005-02-16 Paper Theory of Quantum Measurement in Terms...10 bytes (16 words) - 12:17, 28 January 2024
- modal logic 1980-01-01 Paper An extension of the Lukasiewicz logic to the modal logic of quantum mechanics 1978-01-01 Paper Imbedding of the quantum logic...10 bytes (16 words) - 10:26, 13 December 2023
- information leakage 2018-08-02 Paper Quantum circuit synthesis using a new quantum logic gate library of NCV quantum gates 2018-03-14 Paper Cryptanalysis...10 bytes (18 words) - 03:48, 10 December 2023
- Delinearization of quantum logic 1994-04-07 Paper Languages of similarity 1983-01-01 Paper Semantics in Banach spaces 1983-01-01 Paper What is quantum logic? 1982-01-01...10 bytes (17 words) - 00:37, 13 December 2023
- Group announcement logic 2010-06-11 Paper Logic of change, change of logic 2010-05-10 Paper Tableaux for Public Announcement Logic 2010-02-19 Paper Intentions...10 bytes (20 words) - 21:50, 10 December 2023