Constructive Mathematics as a Programming Logic I: Some Principles of Theory.
Robert L. ConstablePublished in: FCT (1983)
Keyphrases
- computer algebra
- formal theory
- theoretical framework
- probability theory
- proof theory
- programming language
- formal logic
- commonsense reasoning
- set theory
- proof theoretic
- computer science
- logical framework
- deductive reasoning
- database
- computer programming
- automated reasoning
- mathematical theory
- theorem prover
- logic programming
- asynchronous circuits
- fundamental principles
- general purpose
- boolean algebra
- knowledge base