Semi-simplicial Types in Logic-enriched Homotopy Type Theory.
Fedor PartZhaohui LuoPublished in: CoRR (2015)
Keyphrases
- formal theory
- multiple types
- computer algebra
- set theory
- proof theory
- computational model
- commonsense reasoning
- data sets
- formal logic
- theoretical framework
- theoretical basis
- artificial intelligence
- real time
- algebraic structure
- databases
- proof theoretic
- boolean algebra
- mathematical theory
- computational properties
- classical logic
- automated reasoning
- probability theory
- decision theory
- fixed point
- logic programming
- neural network