Predicative Logic and Formal Arithmetic.
John P. BurgessAllen HazenPublished in: Notre Dame J. Formal Log. (1998)
Keyphrases
- formal language
- micron cmos
- ctl model update
- operational semantics
- mathematical theory
- modal logic
- formal logic
- computational logic
- computational properties
- neural network
- predicate logic
- model theoretic
- proof theory
- classical logic
- multi valued
- logic programming
- digital circuits
- automated reasoning
- delay insensitive
- formal descriptions
- artificial intelligence