On the Equivalence Between Logic-Free and Logic-Bearing Systems of Primitive Recursive Arithmetic.
Daniel G. SchwartzPublished in: Math. Log. Q. (1987)
Keyphrases
- modal logic
- asynchronous circuits
- multi valued
- digital circuits
- logic programming
- classical logic
- micron cmos
- distributed systems
- programming language
- automated reasoning
- expert systems
- data sets
- higher level
- learning systems
- retrieval systems
- embedded systems
- query language
- neural network
- arithmetic operations
- proof theory
- rewrite systems
- database