A. Tarski, Logic, “Semantics, Meta-Mathematics,” University Press, Oxford, 1956.
has been cited by the following article:
TITLE: A New Way to Implement Quantum Computation
AUTHORS: Gennaro Auletta
KEYWORDS: Lindenbaum-Tarski Algebra; 3D Logical Space; Mechanical Computation; Inference; Quantum Com-puting; Raising Operators; Lowering Operators
JOURNAL NAME: Journal of Quantum Information Science, Vol.3 No.4, November 28, 2013
ABSTRACT: In this paper, I shall sketch a new way to consider a Lindenbaum-Tarski algebra as a 3D logical space in which any one (of the 256 statements) occupies a well-defined position and it is identified by a numerical ID. This allows pure mechanical computation both for generating rules and inferences. It is shown that this abstract formalism can be geometrically represented with logical spaces and subspaces allowing a vectorial representation. Finally, it shows the application to quantum computing through the example of three coupled harmonic oscillators.