Search the Kids Internet
Encyclopedia > HOL
Article Content
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.
All Wikipedia text is available under the terms of the GNU Free Documentation License
|
Search Encyclopedia
|