 | 2012 |
| 18 |  | Enrico G. Beltrametti,
Maria Luisa Dalla Chiara,
Roberto Giuntini,
Roberto Leporini,
Giuseppe Sergioli:
Epistemic Quantum Computational Structures in a Hilbert-space Environment.
Fundam. Inform. 115(1): 1-14 (2012) |
| 2010 |
| 17 |  | Hector Freytes,
Roberto Giuntini,
Giuseppe Sergioli,
Antonio Arico:
Representing Fuzzy Structures in Quantum Computation with Mixed States.
ISMVL 2010: 162-166 |
| 16 |  | Félix Bou,
Francesco Paoli,
Antonio Ledda,
Matthew Spinks,
Roberto Giuntini:
The Logic of Quasi-MV Algebras.
J. Log. Comput. 20(2): 619-643 (2010) |
| 15 |  | Roberto Giuntini,
Francesco Paoli,
Antonio Ledda:
Categorical Equivalences for sqrt(') quasi-MV Algebras.
J. Log. Comput. 20(4): 795-810 (2010) |
| 2009 |
| 14 |  | Roberto Giuntini,
Hector Freytes,
Antonio Ledda,
Francesco Paoli:
A discriminator variety of Gödel algebras with operators arising in quantum computation.
Fuzzy Sets and Systems 160(8): 1082-1098 (2009) |
| 13 |  | Giuseppe Sergioli,
Antonio Ledda,
Francesco Paoli,
Roberto Giuntini,
Tomasz Kowalski,
Franco Montagna,
Hector Freytes,
Claudio Marini:
Two cooperative versions of the Guessing Secrets problem.
Inf. Sci. 179(20): 3645-3658 (2009) |
| 2007 |
| 12 |  | Maria Luisa Dalla Chiara,
Roberto Giuntini,
Roberto Leporini:
Compositional and holistic quantum computational semantics.
Natural Computing 6(2): 113-132 (2007) |
| 11 |  | Roberto Giuntini,
Antonio Ledda,
Francesco Paoli:
Expanding Quasi-MV Algebras by a Quantum Operator.
Studia Logica 87(1): 99-128 (2007) |
| 2006 |
| 10 |  | Maria Luisa Dalla Chiara,
Roberto Giuntini,
Roberto Leporini:
Reversibility and Irreversibility in Quantum Computation and in Quantum Computational Logics.
Algebraic and Proof-theoretic Aspects of Non-classical Logics 2006: 84-106 |
| 9 |  | Antonio Ledda,
Martinvaldo Konig,
Francesco Paoli,
Roberto Giuntini:
MV-Algebras and Quantum Computation.
Studia Logica 82(2): 245-270 (2006) |
| 2004 |
| 8 |  | Gianpiero Cattaneo,
Davide Ciucci,
Roberto Giuntini,
Martin Konig:
Algebraic Structures Related to Many Valued Logical Systems. Part I: Heyting Wajsberg Algebras.
Fundam. Inform. 63(4): 331-355 (2004) |
| 7 |  | Gianpiero Cattaneo,
Davide Ciucci,
Roberto Giuntini,
Martin Konig:
Algebraic Structures Related to Many Valued Logical Systems. Part II: Equivalence Among some Widespread Structures.
Fundam. Inform. 63(4): 357-373 (2004) |
| 2001 |
| 6 |  | Maria Luisa Dalla Chiara,
Roberto Giuntini:
A short history of the problems.
Soft Comput. 5(2): 126-128 (2001) |
| 1997 |
| 5 |  | Maria Luisa Dalla Chiara,
Roberto Giuntini:
A fuzzy dynamic semantics for quantum histories.
Soft Comput. 1(3): 137-142 (1997) |
| 1996 |
| 4 |  | Roberto Giuntini:
Quantum MV algebras.
Studia Logica 56(3): 393-417 (1996) |
| 1995 |
| 3 |  | Maria Luisa Dalla Chiara,
Roberto Giuntini:
The logics of orthoalgebras.
Studia Logica 55(1): 3-22 (1995) |
| 1993 |
| 2 |  | Gianpiero Cattaneo,
Maria Luisa Dalla Chiara,
Roberto Giuntini:
Fuzzy intuitionistic quantum logics.
Studia Logica 52(3): 419-442 (1993) |
| 1992 |
| 1 |  | Roberto Giuntini:
Brouwer-Zadeh Logic, Decidability and Bimodal Systems.
Studia Logica 51(1): 97-112 (1992) |