The Logic of Turing Progressions.

Eduardo Hermo Reyes Joost J. Joosten

Published in: Notre Dame J. Formal Log. (2020)

Keyphrases

modal logic
machine intelligence
classical logic
logic programming
proof theory
multi valued
databases
asynchronous circuits
predicate logic
sound and complete axiomatization
database
intuitionistic logic
turing machine
digital circuits
logical framework
probabilistic logic
automated reasoning
information retrieval