The Undecidability of Propositional Adaptive Logic.
Leon HorstenPhilip D. WelchPublished in: Synth. (2007)
Keyphrases
- multi valued
- sound and complete axiomatization
- probabilistic logic
- first order logic
- propositional logic
- neural network
- description logics
- logic programming
- predicate calculus
- modal logic
- automated reasoning
- classical logic
- computational properties
- abductive reasoning
- proof procedure
- propositional variables
- general logic programs