LogiCIC and LiQuID Tutorials

LogiCIC and LiQuID Tutorials


Speaker: Robterto Giuntini (University of Cagliari)

Title: The logic of unsharp quantum mechanics

Date and time: Wednesday 22 February 2012, 14:00-16:00

Location: Room B0.203, Science Park 904, Amsterdam

We introduce the notion of quantum MV algebra (QMV algebra) as a generalization of MV algebras (multi-valued algebras) and we show that the class of all effects of any Hilbert space (positive linear operators between 0 and 1) gives rise to an example of such a structure. Effects are the main ingredients of the so-called unsharp (or operational) approach to quantum mechanics and replace projectors as possible candidates for the notion of "experimental proposition". We present some algebraic and structural properties of QMV algebras, claiming that these structures represent non-idempotent extensions of orthomodular lattices.


----------------------------------------------------------------------------------------------


Speaker: Roberto Giuntini (University of Cagliari)

Title: The Logics of Quantum Computation: An Introduction. (4 tutorial sessions)

Date: Monday 6, Wednesday 8, Monday 13, Wednesday 15 February 2012

Time: 16.00-18.00

Location: D1.112 (Mon 6), D1.115 (Wed 8), A1.14 (Mon 13), D1.114 (Wed 15)

Topics covered:

  • Basics of quantum computation

    • The need of quantum computation: an overview

    • First quantum computations: quantum bits (q-bits), composite quantum
      systems (q-registers) and entanglement; mixtures (q-mixes)

    • Single and multiple quantum (logical) gates: semiclassical and genuine
      quantum gates. Toffoli gate, square-root of negation gate and Hadamard
      gate

  • The logic of a universal set of quantum gates

    • Quantum computational structures

    • Reversible and irreversible classical propositional logic

    • The Toffoli and the Hadamard gates as a set of (approximate) universal
      set for quantum gates

    • The algebra of Toffoli and Hadamard gates

    • The Toffoli-Hadamard algebras: logico-algebraic properties

    • Contrasting Toffoli-Hadamard algebras with product algebras with
      involution

----------------------------------------------------------------------------------------------

Speaker: Kevin T. Kelly (CMU)

Topic: Topological Epistemology

Date: Friday 20 January, 1:00-4:00 pm and Monday 23 January, 1:00-5:00 pm

Organized by the LIRa seminars: http://www.illc.uva.nl/lgc/seminar/?p=1241