[图书][B] Quantum computational logics: A survey
MLD Chiara, R Giuntini, R Leporini - 2003 - Springer
Quantum computation has suggested new forms of quantum logic, called quantum
computational logics ([2]). The basic semantic idea is the following: the meaning of a …
computational logics ([2]). The basic semantic idea is the following: the meaning of a …
MV-algebras and quantum computation
A Ledda, M Konig, F Paoli, R Giuntini - Studia Logica, 2006 - Springer
We introduce a generalization of MV algebras motivated by the investigations into the
structure of quantum logical gates. After laying down the foundations of the structure theory …
structure of quantum logical gates. After laying down the foundations of the structure theory …
Logics from quantum computation
ML Dalla Chiara, R Giuntini… - International journal of …, 2005 - World Scientific
The theory of logical gates in quantum computation has suggested new forms of quantum
logic, called quantum computational logics. The basic semantic idea is the following: the …
logic, called quantum computational logics. The basic semantic idea is the following: the …
Expanding quasi-MV algebras by a quantum operator
R Giuntini, A Ledda, F Paoli - Studia Logica, 2007 - Springer
We investigate an expansion of quasi-MV algebras (10) by a genuine quantum unary
operator. The variety ′ QMV of such ′ quasi-MV algebras has a subquasivariety whose …
operator. The variety ′ QMV of such ′ quasi-MV algebras has a subquasivariety whose …
[PDF][PDF] On some properties of quasi-MV algebras and ^′ quasi-MV algebras.
F Paoli, A Ledda, R Giuntini, H Freytes - Reports Math. Log., 2009 - academia.edu
We investigate some properties of two varieties of algebras arising from quantum
computation-quasi-MV algebras and√′ quasi-MV algebras-first introduced in [13],[12] and …
computation-quasi-MV algebras and√′ quasi-MV algebras-first introduced in [13],[12] and …
Representing continuous t-norms in quantum computation with mixed states
H Freytes, G Sergioli, A Arico - Journal of Physics A …, 2010 - iopscience.iop.org
A model of quantum computation is discussed in (Aharanov et al 1997 Proc. 13th Annual
ACM Symp. on Theory of Computation, STOC pp 20–30) and (Tarasov 2002 J. Phys. A …
ACM Symp. on Theory of Computation, STOC pp 20–30) and (Tarasov 2002 J. Phys. A …
[PDF][PDF] Quasi-MV algebras for complex fuzzy logic
S Dai - AIMS Mathematics, 2022 - aimspress.com
Complex fuzzy logic (CFL) is an emerging topic of research in fuzzy logic. Due to the circle
structured codomain of the complex membership function, algebraic structure (including MV …
structured codomain of the complex membership function, algebraic structure (including MV …
[图书][B] The Role of Mathematics in Physical Sciences—Interdisciplinary and Philosophical Aspects: Introduction
1University of Padova, Padova, Italy; 2The Abdus Salam International Centre for Theoretical
Physics, Trieste, Italy; 3University of Rijeka, Rijeka, Croatia As only a cursory examination of …
Physics, Trieste, Italy; 3University of Rijeka, Rijeka, Croatia As only a cursory examination of …
Some generalizations of fuzzy structures in quantum computational logic
R Giuntini, A Ledda, G Sergioli… - International Journal of …, 2011 - Taylor & Francis
Quantum computational logics provide a fertile common ground for a unified treatment of
vagueness and uncertainty. In this paper, we describe an approach to the logic of quantum …
vagueness and uncertainty. In this paper, we describe an approach to the logic of quantum …
[图书][B] New challenges to philosophy of science
H Andersen, D Dieks, WJ Gonzalez, T Uebel… - 2013 - Springer
New challenges to philosophy of science The Philosophy of Science in a European
Perspective New Challenges to Philosophy of Science Hanne Andersen· Dennis Dieks …
Perspective New Challenges to Philosophy of Science Hanne Andersen· Dennis Dieks …