The HOL Logic Extended with Quantification over Type Variables.
Thomas F. MelhamPublished in: TPHOLs (1992)
Keyphrases
- natural deduction
- higher order logic
- modal logic
- higher order
- relevant variables
- theorem prover
- genetic algorithm
- quantitative evaluation
- derivation rules
- asynchronous circuits
- truth values
- classical logic
- multi valued
- automated reasoning
- directed acyclic graph
- temporal logic
- random variables
- logic programming
- probability distribution
- decision trees