2007 |
12 | EE | Maria Luisa Dalla Chiara,
Roberto Giuntini,
Roberto Leporini:
Compositional and holistic quantum computational semantics.
Natural Computing 6(2): 113-132 (2007) |
11 | EE | Roberto Giuntini,
Antonio Ledda,
Francesco Paoli:
Expanding Quasi-MV Algebras by a Quantum Operator.
Studia Logica 87(1): 99-128 (2007) |
2006 |
10 | EE | 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 | EE | Antonio Ledda,
Martinvaldo Konig,
Francesco Paoli,
Roberto Giuntini:
MV-Algebras and Quantum Computation.
Studia Logica 82(2): 245-270 (2006) |
2004 |
8 | EE | 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 | EE | 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 | EE | Maria Luisa Dalla Chiara,
Roberto Giuntini:
A short history of the problems.
Soft Comput. 5(2): 126-128 (2001) |
1997 |
5 | EE | 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) |