The following pages link to Giulia Battilotti (Q429953):
Displayed 7 items.
- Characterization of quantum states in predicative logic (Q429954) (← links)
- Quantum states as virtual singletons: converting duality into symmetry (Q472718) (← links)
- Interpreting quantum parallelism by sequents (Q616844) (← links)
- Pretopologies and a uniform presentation of sup-lattices, quantales and frames (Q2575764) (← links)
- Embedding classical logic into basic orthologic with a primitive modality (Q4392657) (← links)
- Basic logic: reflection, symmetry, visibility (Q4527908) (← links)
- (Q4941997) (← links)