Logics from quantum computation. Zbl 1075.81015
Dalla Chiara, Maria Luisa; Giuntini, Roberto; Leporini, Roberto |
|
2005
|
An unsharp logic from quantum computation. Zbl 1074.81012
Cattaneo, Gianpiero; Dalla Chiara, Maria Luisa; Giuntini, Roberto; Leporini, Roberto |
|
2004
|
Quantum computational logics: A survey. Zbl 1055.03039
Dalla Chiara, M. L.; Giuntini, R.; Leporini, R. |
|
2003
|
Quantum computational structures. Zbl 1077.81016
Cattaneo, Gianpiero; Dalla Chiara, Maria Luisa; Giuntini, Roberto; Leporini, Roberto |
|
2004
|
Holistic logical arguments in quantum computation. Zbl 1374.81029
Dalla Chiara, Maria Luisa; Giuntini, Roberto; Leporini, Roberto; Sergioli, Giuseppe |
|
2016
|
Entanglement as a semantic resource. Zbl 1214.81038
Dalla Chiara, Maria Luisa; Giuntini, Roberto; Ledda, Antonio; Leporini, Roberto; Sergioli, Giuseppe |
|
2010
|
Epistemic quantum computational structures in a Hilbert-space environment. Zbl 1248.03027
Beltrametti, Enrico; Dalla Chiara, Maria Luisa; Giuntini, Roberto; Leporini, Roberto; Sergioli, Giuseppe |
|
2012
|
Compositional and holistic quantum computational semantics. Zbl 1120.68052
Dalla Chiara, Maria Luisa; Giuntini, Roberto; Leporini, Roberto |
|
2007
|
A quantum computational semantics for epistemic logical operators. I: Epistemic structures. Zbl 1302.81073
Beltrametti, Enrico; Dalla Chiara, Maria Luisa; Giuntini, Roberto; Leporini, Roberto; Sergioli, Giuseppe |
|
2014
|
A quantum computational semantics for epistemic logical operators. II: Semantics. Zbl 1302.81074
Beltrametti, Enrico; Dalla Chiara, Maria Luisa; Giuntini, Roberto; Leporini, Roberto; Sergioli, Giuseppe |
|
2014
|
A first-order epistemic quantum computational semantics with relativistic-like epistemic effects. Zbl 1376.81017
Dalla Chiara, Maria Luisa; Giuntini, Roberto; Leporini, Roberto; Sergioli, Giuseppe |
|
2016
|
Quantum computation and logic. How quantum computers have inspired logical investigations. Zbl 1530.81002
Dalla Chiara, Maria Luisa; Giuntini, Roberto; Leporini, Roberto; Sergioli, Guiseppe |
|
2018
|
Quantum computational finite-value logics. Zbl 1140.81010
Bertini, Cesarino; Leporini, Roberto |
|
2007
|
A many-valued approach to quantum computational logics. Zbl 1397.81019
Dalla Chiara, M. L.; Giuntini, R.; Sergioli, G.; Leporini, R. |
|
2018
|
Fredkin gates for finite-valued reversible and conservative logics. Zbl 1049.81012
Cattaneo, G.; Leporati, A.; Leporini, R. |
|
2002
|
Quantum computational semantics on Fock space. Zbl 1110.81039
Dalla Chiara, M. L.; Giuntini, R.; Gudder, S.; Leporini, R. |
|
2005
|
Quantum approach to epistemic semantics. Zbl 1387.81009
Sergioli, Giuseppe; Leporini, Roberto |
|
2017
|
Entanglement and quantum logical gates. I. Zbl 1329.81128
Freytes, H.; Giuntini, R.; Leporini, R.; Sergioli, G. |
|
2015
|
Entanglement and quantum logical gates. II. Zbl 1329.81126
Dalla Chiara, M. L.; Leporini, R.; Sergioli, G. |
|
2015
|
Abstract quantum computing machines and quantum computational logics. Zbl 1348.81160
Dalla Chiara, Maria Luisa; Giuntini, Roberto; Sergioli, Giuseppe; Leporini, Roberto |
|
2016
|
Fuzzy representation of finite-valued quantum gates. Zbl 1492.81023
Leporini, Roberto; Bertini, Cesarino; Fabiani, Filippo Carone |
|
2020
|
Reversibility and irreversibility in quantum computation and in quantum computational logics. Zbl 1122.68055
Dalla Chiara, Maria Luisa; Giuntini, Roberto; Leporini, Roberto |
|
2007
|
Qubit semantics and quantum trees. Zbl 1119.81313
Dalla Chiara, Maria Luisa; Giuntini, Roberto; Leporati, Alberto; Leporini, Roberto |
|
2005
|
Quantum conservative gates for finite-valued logics. Zbl 1063.81025
Cattaneo, Gianpiero; Leporati, Alberto; Leporini, Roberto |
|
2004
|
Quantum conservative many-valued computing. Zbl 1191.68302
Cattaneo, G.; Leporati, A.; Leporini, R. |
|
2008
|
Holistic and compositional logics based on the Bertini gate. Zbl 1492.81022
Leporini, Roberto |
|
2022
|
Quantum computational logics and possible applications. Zbl 1145.81018
Dalla Chiara, Maria Luisa; Giuntini, Roberto; Leporini, Roberto; di Francia, Giuliano Toraldo |
|
2008
|
A fuzzy approach to quantum logical computation. Zbl 1392.81088
Bertini, C.; Leporini, R. |
|
2017
|
Quantum structures in qudit spaces. Zbl 1412.81098
Leporini, R.; Bertini, C. |
|
2018
|
Holistic and compositional logics based on the Bertini gate. Zbl 1492.81022
Leporini, Roberto |
|
2022
|
Fuzzy representation of finite-valued quantum gates. Zbl 1492.81023
Leporini, Roberto; Bertini, Cesarino; Fabiani, Filippo Carone |
|
2020
|
Quantum computation and logic. How quantum computers have inspired logical investigations. Zbl 1530.81002
Dalla Chiara, Maria Luisa; Giuntini, Roberto; Leporini, Roberto; Sergioli, Guiseppe |
|
2018
|
A many-valued approach to quantum computational logics. Zbl 1397.81019
Dalla Chiara, M. L.; Giuntini, R.; Sergioli, G.; Leporini, R. |
|
2018
|
Quantum structures in qudit spaces. Zbl 1412.81098
Leporini, R.; Bertini, C. |
|
2018
|
Quantum approach to epistemic semantics. Zbl 1387.81009
Sergioli, Giuseppe; Leporini, Roberto |
|
2017
|
A fuzzy approach to quantum logical computation. Zbl 1392.81088
Bertini, C.; Leporini, R. |
|
2017
|
Holistic logical arguments in quantum computation. Zbl 1374.81029
Dalla Chiara, Maria Luisa; Giuntini, Roberto; Leporini, Roberto; Sergioli, Giuseppe |
|
2016
|
A first-order epistemic quantum computational semantics with relativistic-like epistemic effects. Zbl 1376.81017
Dalla Chiara, Maria Luisa; Giuntini, Roberto; Leporini, Roberto; Sergioli, Giuseppe |
|
2016
|
Abstract quantum computing machines and quantum computational logics. Zbl 1348.81160
Dalla Chiara, Maria Luisa; Giuntini, Roberto; Sergioli, Giuseppe; Leporini, Roberto |
|
2016
|
Entanglement and quantum logical gates. I. Zbl 1329.81128
Freytes, H.; Giuntini, R.; Leporini, R.; Sergioli, G. |
|
2015
|
Entanglement and quantum logical gates. II. Zbl 1329.81126
Dalla Chiara, M. L.; Leporini, R.; Sergioli, G. |
|
2015
|
A quantum computational semantics for epistemic logical operators. I: Epistemic structures. Zbl 1302.81073
Beltrametti, Enrico; Dalla Chiara, Maria Luisa; Giuntini, Roberto; Leporini, Roberto; Sergioli, Giuseppe |
|
2014
|
A quantum computational semantics for epistemic logical operators. II: Semantics. Zbl 1302.81074
Beltrametti, Enrico; Dalla Chiara, Maria Luisa; Giuntini, Roberto; Leporini, Roberto; Sergioli, Giuseppe |
|
2014
|
Epistemic quantum computational structures in a Hilbert-space environment. Zbl 1248.03027
Beltrametti, Enrico; Dalla Chiara, Maria Luisa; Giuntini, Roberto; Leporini, Roberto; Sergioli, Giuseppe |
|
2012
|
Entanglement as a semantic resource. Zbl 1214.81038
Dalla Chiara, Maria Luisa; Giuntini, Roberto; Ledda, Antonio; Leporini, Roberto; Sergioli, Giuseppe |
|
2010
|
Quantum conservative many-valued computing. Zbl 1191.68302
Cattaneo, G.; Leporati, A.; Leporini, R. |
|
2008
|
Quantum computational logics and possible applications. Zbl 1145.81018
Dalla Chiara, Maria Luisa; Giuntini, Roberto; Leporini, Roberto; di Francia, Giuliano Toraldo |
|
2008
|
Compositional and holistic quantum computational semantics. Zbl 1120.68052
Dalla Chiara, Maria Luisa; Giuntini, Roberto; Leporini, Roberto |
|
2007
|
Quantum computational finite-value logics. Zbl 1140.81010
Bertini, Cesarino; Leporini, Roberto |
|
2007
|
Reversibility and irreversibility in quantum computation and in quantum computational logics. Zbl 1122.68055
Dalla Chiara, Maria Luisa; Giuntini, Roberto; Leporini, Roberto |
|
2007
|
Logics from quantum computation. Zbl 1075.81015
Dalla Chiara, Maria Luisa; Giuntini, Roberto; Leporini, Roberto |
|
2005
|
Quantum computational semantics on Fock space. Zbl 1110.81039
Dalla Chiara, M. L.; Giuntini, R.; Gudder, S.; Leporini, R. |
|
2005
|
Qubit semantics and quantum trees. Zbl 1119.81313
Dalla Chiara, Maria Luisa; Giuntini, Roberto; Leporati, Alberto; Leporini, Roberto |
|
2005
|
An unsharp logic from quantum computation. Zbl 1074.81012
Cattaneo, Gianpiero; Dalla Chiara, Maria Luisa; Giuntini, Roberto; Leporini, Roberto |
|
2004
|
Quantum computational structures. Zbl 1077.81016
Cattaneo, Gianpiero; Dalla Chiara, Maria Luisa; Giuntini, Roberto; Leporini, Roberto |
|
2004
|
Quantum conservative gates for finite-valued logics. Zbl 1063.81025
Cattaneo, Gianpiero; Leporati, Alberto; Leporini, Roberto |
|
2004
|
Quantum computational logics: A survey. Zbl 1055.03039
Dalla Chiara, M. L.; Giuntini, R.; Leporini, R. |
|
2003
|
Fredkin gates for finite-valued reversible and conservative logics. Zbl 1049.81012
Cattaneo, G.; Leporati, A.; Leporini, R. |
|
2002
|