Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory.
Yoshihiro MaruyamaPublished in: RAMiCS (2020)
Keyphrases
- higher order
- propositional calculus
- higher order logic
- commonsense reasoning
- lambda calculus
- proof theory
- formal theory
- computer algebra
- set theory
- pairwise
- classical logic
- logical framework
- theoretical framework
- artificial intelligence
- low order
- probability theory
- theoretical basis
- theorem prover
- boolean algebra
- high order
- conditional random fields
- natural images
- finite model theory