Higher-Order Variables in Logic
A higher-order variable represents functions, predicates, or relations, distinguishing it from variables…
Tag: expressive logic
A higher-order variable represents functions, predicates, or relations, distinguishing it from variables…