Generalizations of Gödel's Incompleteness theorems for ∑ n -Definable Theories of Arithmetic.

Makoto Kikuchi Taishi Kurahashi

Published in: Rev. Symb. Log. (2017)

Keyphrases

answer sets
semantics of logic programs
theoretical framework
first order logic
social bookmarking
action theories
arithmetic operations
neural network
artificial intelligence
incomplete information
floating point
databases
fuzzy logic
logic programs
cognitive psychology