[comp.theory] Theorem provers for first order many sorted logic

csmcconn@cybaswan.UUCP (b r mcconnell) (01/22/91)

Hi,
	does anyone out there know of any theorem provers for first order
MANY SORTED logics (please don't swamp me with single sorted ones!) and
how they may be obtained? Reply by mail and if anyone's interested I'll
summarise later. Cheers,
	Brian.

Disclaimer : errmm nobody cares what I think anyway....
Brian McConnell,
Dept. of Mathematics and Computer Science,
Division of Computer Science,
University College of Swansea,
Singleton Park,
Swansea,
Wales,
UK.