Weyl's predicative classical mathematics as a logic-enriched type theory.
Robin AdamsZhaohui LuoPublished in: ACM Trans. Comput. Log. (2010)
Keyphrases
- computer algebra
- formal theory
- finite model theory
- probability theory
- formal logic
- computer science
- commonsense reasoning
- set theory
- theoretical framework
- causal reasoning
- proof theory
- quantum mechanics
- theoretical basis
- computational model
- data mining
- classical logic
- predicate logic
- decision theory
- theorem prover
- asynchronous circuits
- modal logic
- logic programming
- proof theoretic
- classical first order logic
- knowledge base