A Normalizing Computation Rule for Propositional Extensionality in Higher-Order Minimal Logic.
Robin AdamsMarc BezemThierry CoquandPublished in: TYPES (2016)
Keyphrases
- higher order
- multi valued
- sound and complete axiomatization
- higher order logic
- lambda calculus
- high order
- predicate calculus
- probabilistic logic
- minimal models
- natural images
- lower order
- propositional logic
- proof procedure
- markov random field
- association rules
- classification rules
- nonmonotonic logics
- description logics
- rule sets
- deductive reasoning
- pairwise
- classical first order logic
- conditional random fields