Weyl's Predicative Classical Mathematics as a Logic-Enriched Type Theory.
Robin AdamsZhaohui LuoPublished in: TYPES (2006)
Keyphrases
- computer algebra
- probability theory
- formal theory
- finite model theory
- formal logic
- set theory
- proof theory
- commonsense reasoning
- artificial intelligence
- classical first order logic
- theoretical basis
- deductive reasoning
- computer science
- theoretical framework
- belief functions
- data mining
- information systems
- proof theoretic
- logic programming
- computational model
- default reasoning
- model theoretic
- mathematical theory
- nonmonotonic logics
- general theory
- logical framework
- automated reasoning