Date: Sat, 15 Jul 2000 15:54:30 +0400 (RET)
From: Amba P Kulkarni <amba@iiit.net>
Subject: SORTED LOGIC: QUERY

Where can I get information on SORTED LOGIC?
Like Boolean algebra corresponding to Propositional Calculus, is there any
'sorted algebra' corresponding to 'sorted logic'?


Amba Kulkarni
Language Technologies Research Center,
IIIT,
Hyderabad- India