Paraconsistent Machines and their Relation to Quantum Computing

Juan C. Agudelo, Walter Carnielli

We describe a method to axiomatize computations in deterministic Turing machines. When applied to computations in non-deterministic Turing machines, this method may produce contrad…