Research Article
The Gauge Integral Theory in HOL4
Table 1
Some HOL4 notations and their semantics.
| Meaning | HOL notations | Standard notations |
| Truth | | | Falsity | | | Negation | ~t | ¬t | Disjunction | | | Conjunction | t1t2 | | Implication | 1==>2 | | Equality | 1=2 | | ∀-quantification | ! · | ∀ | ∃-quantification | ? · | ∃ | Lambda | · | |
|
|