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
Eigenlogic in the spirit of George Boole, 2015. ,
Eigenlogic: a Quantum View for Multiple-Valued and Fuzzy Systems Quantum Interaction. QI 2016, Lecture Notes in Computer Science, pp.239-251, 2017. ,
DOI : 10.1007/978-3-319-52289-0_19
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
Mathematische Grundlagen der Quantenmechanik Grundlehren der mathematischen Wissenschaften, Mathematical Foundations of Quantum Mechanics Investigations in Physics, vol.38, issue.2, 1932. ,
The Logic of Quantum Mechanics, The Annals of Mathematics, vol.37, issue.4, pp.823-843, 1936. ,
DOI : 10.2307/1968621
Quantum computation from a quantum logical perspective ,
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
Introduction to a General Theory of Elementary Propositions, American Journal of Mathematics, vol.43, issue.3, pp.163-185, 1921. ,
DOI : 10.2307/2370324
Introduction to Logic Design, 2008. ,
Finite Element Methods in Mechanics, 1986. ,
DOI : 10.1017/CBO9780511569630
Quantum Computer Science. An Introduction, 2007. ,
The Mathematical Analysis of Logic Being an Essay To a Calculus of Deductive Reasoning ,
Analysis of Boolean Functions, 2014. ,
Quantum boolean functions, Chicago Journal of Theoretical Computer Science, vol.1, 2010. ,
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
T-count optimization and Reed-Muller codes ,
-depth one, Physical Review A, vol.87, issue.4, p.42302, 2013. ,
DOI : 10.1119/1.1463744
Multiple Valued Logic: Concepts and Representations, 2008. ,
DOI : 10.2200/s00065ed1v01y200709dcs012
Fast Ternary Addition, 2013. ,