Skip to main content

Questions tagged [higher-order-logic]

Use this tag for questions related to higher order logic. Do not use this tag with the HOL theorem prover instead use hol. Do not use this tag for Isabelle/HOL instead use isabelle-hol. Do not use this tag with HOL light theorem prover instead use hol-light.

Filter by
Sorted by
Tagged with
32 votes
3 answers

What are the bases for different Proof Assistants?

From the Wikipedia article on Proof Assistant it shows some Proof Assistants are based on Higher Order Logic, (HOL Light) and some are based on Dependent Types, (Coq). Are there any other means upon ...
Guy Coder's user avatar
  • 2,846
3 votes
2 answers

Reference request for an introduction to higher-order logic

I'm looking for an introductory text or other materials on higher order logic, with a minimum of assumed background knowledge beyond first order logic.
user695931's user avatar