Archive for November, 2009
Another publication from members of the ConsRel projetct:
Paraconsistent Machines and their Relation to Quantum Computing
http://logcom.oxfordjournals.org/cgi/content/abstract/exp072v1?ijkey=Ver5JBNUijUJdp6&keytype=ref
Juan C. Agudelo, Ph.D.
Walter Carnielli
Abstract
We describe a method to axiomatize computations in deterministic Turing machines (TMs). When applied to computations in non-deterministic TMs, this method may produce contradictory (and therefore trivial) theories, considering classical logic as the underlying logic. By substituting [...]
A new paper from members of the ConsRel project:
“Interpolation via translations”
João Rasga,Walter Carnielli e Cristina Sernadas
Math. Log. Quart. 55, No. 5, 515-534 (2009) / DOI 10.1002/malq.200810013
http://www3.interscience.wiley.com/journal/117943446/grouphome/home.html
Abstract:
“A new technique is presented for proving that a consequence system enjoys Craig interpolation or Maehara interpolation based on the fact that these properties hold in another consequence system. [...]
