D. Deutsch, Quantum Theory, the Church-Turing Principle and the Universal Quantum Computer, Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, vol.400, issue.1818, pp.97-117, 1818.
DOI : 10.1098/rspa.1985.0070

Z. Toffano, Eigenlogic in the spirit of George Boole, 2015.

F. Dubois and Z. Toffano, Eigenlogic: a Quantum View for Multiple-Valued and Fuzzy Systems Quantum Interaction. QI 2016, Lecture Notes in Computer Science, pp.239-251, 2017.

P. Cartier, A mad day's work: from Grothendieck to Connes and Kontsevich The evolution of concepts of space and symmetry, Bulletin of the American Mathematical Society, vol.38, issue.04, pp.389-408, 2001.
DOI : 10.1090/S0273-0979-01-00913-2

. John-von-neumann, Mathematische Grundlagen der Quantenmechanik Grundlehren der mathematischen Wissenschaften, Mathematical Foundations of Quantum Mechanics Investigations in Physics, vol.38, issue.2, 1932.

G. Birkhoff and . John-von-neumann, The Logic of Quantum Mechanics, The Annals of Mathematics, vol.37, issue.4, pp.823-843, 1936.
DOI : 10.2307/1968621

J. Bub, Quantum computation from a quantum logical perspective

M. Ying, A theory of computation based on quantum logic (I), Theoretical Computer Science, vol.344, issue.2-3, pp.2-3, 2005.
DOI : 10.1016/j.tcs.2005.04.001

E. Post, Introduction to a General Theory of Elementary Propositions, American Journal of Mathematics, vol.43, issue.3, pp.163-185, 1921.
DOI : 10.2307/2370324

S. N. Yanushkevich and V. P. Shmerko, Introduction to Logic Design, 2008.

N. Kikuchi, Finite Element Methods in Mechanics, 1986.
DOI : 10.1017/CBO9780511569630

D. Mermin, Quantum Computer Science. An Introduction, 2007.

G. Boole, The Mathematical Analysis of Logic Being an Essay To a Calculus of Deductive Reasoning

O. Ryan and . Donnell, Analysis of Boolean Functions, 2014.

A. Montanaro and T. J. Osborne, Quantum boolean functions

D. E. Muller, Application of Boolean algebra to switching circuit design and to error detection, Transactions of the I.R.E. Professional Group on Electronic Computers, vol.3, issue.3, pp.6-12, 1954.
DOI : 10.1109/IREPGELC.1954.6499441

M. Amy and M. Mosca, T-count optimization and Reed-Muller codes

P. Selinger, -depth one, Physical Review A, vol.87, issue.4, p.42302, 2013.
DOI : 10.1103/PhysRevA.87.042302

URL : https://hal.archives-ouvertes.fr/hal-00889670

D. , M. Miller, and M. A. Thornton, Multiple Valued Logic: Concepts and Representations, 2008.
DOI : 10.2200/s00065ed1v01y200709dcs012

D. W. Jones, Fast Ternary Addition, 2013.