2006 | ||
---|---|---|
5 | EE | Giulia Battilotti, Giovanni Sambin: Pretopologies and a uniform presentation of sup-lattices, quantales and frames. Ann. Pure Appl. Logic 137(1-3): 30-61 (2006) |
2004 | ||
4 | EE | Giulia Battilotti, Paola Zizzi: The internal logic of Bell's states CoRR abs/quant-ph/0412199: (2004) |
3 | EE | Giulia Battilotti, Paola Zizzi: Logical Interpretation of a Reversible Measurement in Quantum Computing CoRR quant-ph/0408068: (2004) |
2000 | ||
2 | Giovanni Sambin, Giulia Battilotti, Claudia Faggian: Basic Logic: Reflection, Symmetry, Visibility. J. Symb. Log. 65(3): 979-1013 (2000) | |
1998 | ||
1 | EE | Giulia Battilotti: Embedding Classical Logic into Basic Orthologic with a Primitive Modality. Logic Journal of the IGPL 6(3): 383-402 (1998) |
1 | Claudia Faggian | [2] |
2 | Giovanni Sambin | [2] [5] |
3 | Paola Zizzi | [3] [4] |