First-Order Frege Theory is Undecidable.

Warren D. Goldfarb

Published in: J. Philos. Log. (2001)

Keyphrases

sufficient conditions
theoretical framework
neural network
databases
np complete
computational model
machine learning
website
logic programs
belief revision
theoretical basis
propositional theories
logical theories