	community	directory	books	authors	images	encyclopedia

Email:
Password:
Register

Knowledgerush Search

Message boards Post comment

HOL

HOL is an abbreviation for Higher order logic, a branch of symbolic logic in which statements can be quantified over objects, predicates, predicates of predicates etc.

There is also a theorem prover called HOL; see HOL theorem prover.

Referenced By

Kepler's conjecture | Kepler conjecture | List of mathematical topics (G-I) | List of mathematical topics (G-Z) | TLAs from EAA to HZZ

Compose Your Message

This article is licensed under the GNU Free Documentation License. It uses material from the Wikipedia article "HOL".