Tree Tutorial 7: Type Labels, Sorts, Order Sorted Logic ['Mixed Domains']

Topic
Logical System

2013

Howson[1997] mentions this in Chapter 5, under 'mixed domains'.

There is detailed explanation elsewhere.

And here are the exercises in the 'Howson' syntax.

Type notation for the Universal Quantifier.

 

 

Type notation for the Existential Quantifier.