Stability and Paradox in Algorithmic Logic.
Wayne AitkenJeffrey A. BarrettPublished in: J. Philos. Log. (2007)
Keyphrases
- logic programming
- modal logic
- classical logic
- defeasible logic
- logical framework
- predicate logic
- computational properties
- sound and complete axiomatization
- linear temporal logic
- asymptotic stability
- asynchronous circuits
- lyapunov function
- digital circuits
- machine learning
- automated reasoning
- sufficient conditions
- multiscale
- information systems