Weyl's Predicative Classical Mathematics as a Logic-Enriched Type Theory
Robin AdamsZhaohui LuoPublished in: CoRR (2008)
Keyphrases
- computer algebra
- probability theory
- finite model theory
- formal theory
- formal logic
- computer science
- quantum mechanics
- computational model
- deductive reasoning
- theoretical basis
- logical framework
- set theory
- proof theory
- commonsense reasoning
- predicate logic
- neural network
- defeasible logic
- logic programming
- artificial intelligence
- proof theoretic
- quantum computation
- mathematical theory
- computer programming
- decision theory
- belief functions
- expressive power
- theoretical framework
- abstract argumentation
- logical theories
- machine learning