Olivier Brunet

According to our database, Olivier Brunet authored at least 6 papers between 2002 and 2015.

Collaborative distances:

• no known Dijkstra number.
• no known Erdős number.

2015

A Logic of Quantum Measurement.

Olivier Brunet

Proceedings of the Proceedings 12th International Workshop on Quantum Physics and Logic, 2015

2013

Orthogonality and Dimensionality.

Olivier Brunet

Axioms, 2013

2005

A Rule-Based Logic for Quantum Information

Olivier Brunet

CoRR, 2005

2004

A Logic for Partial System Description.

Olivier Brunet

J. Log. Comput., 2004

2003

A Labelled Sequent-Calculus for Observation Logic.

Olivier Brunet

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2003

2002

Etude de la connaissance dans le cadre d'observations partielles : La logique de l'observation. (The Study of Knowledge from Partial Observation: The Observation Logic).

Olivier Brunet

PhD thesis, 2002