hans@lfcs.ed.ac.uk (Hans Huttel) (08/01/90)
Can someone out there supply me with some good references on
conditional equational reasoning ? What I am thinking of are
formulations of equational logics going beyond Prawitz in the sense
that hypotheses are involved. More precisely, I am thinking of sequent
calculi (+ related notions) where the sequents are of the form
H |- A = B
and a hypothesis H is of the form (A1,B1),...,(An,Bn) interpreted as
assuming the identities A1 = B1,...,An = Bn .
This must have something to do with e.g. the theory of logic programming
(and term rewriting in general, of course). The reason for my interest
in this, however, is that I am looking at possible axiomatizations
of/tableau systems for behavioural equivalences for certain classes of
labelled transition systems in the theory of process algebras.
Please reply by e-mail; if there is interest I will post a summary.
Regards
Hans
Hans H\"{u}ttel, Office 1603 JANET: hans@uk.ac.ed.lfcs
Lab. for Foundations of Comp. Sci. UUCP: ..!mcvax!ukc!lfcs!hans
University of Edinburgh ARPA: hans%lfcs.ed.ac.uk@nsfnet-relay.ac.uk
Edinburgh EH9 3JZ, SCOTLAND Ain't gonna work on Maggie's farm no more