Tree Tutorial 7: Type Labels, Sorts, Order Sorted Logic ['Mixed Domains']
12/12/20
[Howson[1997] mentions this in Chapter 5, under 'mixed domains'.]
Readings
[These might help, you need only scan them.]
K.H.Blasius et al. eds.[1990] Sorts and Types in Artificial Intelligence
Maria Manzano [1996] Extensions of First-Order Logic
John Sowa [2000] Knowledge Representation