An HOL Theory for Logic States with Indeterminate Strengths.
J. W. GamblesPhillip J. WindleyPublished in: TPHOLs (1991)
Keyphrases
- formal theory
- higher order logic
- formal methods
- natural deduction
- set theory
- proof theory
- general theory
- theoretical framework
- theorem prover
- boolean algebra
- commonsense reasoning
- formal logic
- automated reasoning
- computer algebra
- decision theory
- spatial reasoning
- data sets
- model checker
- logical framework
- probability theory
- model checking
- logic programming
- genetic algorithm