Type Checking and Semantics
Type Checking
- Standard, wrt type declarations
Semantics
- Standard, wrt type declarations
Translation to FOF
- Standard, according to folklore
- Sort declarations - formulae for inhabitance
- Pairs of sort declarations - (optional) formulae for disjointness