Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
sav08:axioms_of_hol [2008/05/28 03:06] vkuncak |
sav08:axioms_of_hol [2009/03/05 13:05] vkuncak |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | ====== Axioms of Classical HOL ====== | + | ====== Axioms and Inference Rules of Classical HOL ====== |
| Axiom system that is sound (but necessarily incomplete with respect to standard semantics) is the following: | Axiom system that is sound (but necessarily incomplete with respect to standard semantics) is the following: | ||