3 citations · 5 across the 3 of their papers we have counts for
3 papers
cs.LO2022★ 1 cited
About Opposition and Duality in Paraconsistent Type Theory
Juan C. Agudelo-Agudelo, Andrés Sicard-Ramírez
A paraconsistent type theory (an extension of a fragment of intuitionistic type theory by adding opposite types) is here extended by adding co-function types. It is shown that, in…
quant-ph2008★ 3 cited
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…
quant-ph2006★ 1 cited
Quantum Computation via Paraconsistent Computation
Juan C. Agudelo, Walter Carnielli
We present an original model of paraconsistent Turing machines (PTMs), a generalization of the classical Turing machines model of computation using a paraconsistent logic. Next, we…