Second-order quantifiers range over specified collections of relations, which can be proper subcollections of all external relations. With these collections as additional sorts, this is a form of first-order logic. Full-class conclusions cannot be inferred merely from truth with Henkin semantics.
Articles by others on the same topic
There are currently no matching articles.