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.