Universal logic elements constructed on the Turing Tumble.
Takahiro TomitaJia LeeTeijiro IsokawaFerdinand PeperTakayuki YumotoNaotake KamiuraPublished in: Nat. Comput. (2020)
Keyphrases
- turing machine
- multi valued
- classical logic
- computational properties
- logic programming
- modal logic
- machine intelligence
- predicate logic
- real time
- abductive reasoning
- formal theory
- automated reasoning
- artificial intelligence
- learning algorithm
- database
- probabilistic logic
- decision trees
- metadata
- databases
- proof theory
- sound and complete axiomatization