[Prev][Next][Index][Thread]
sequent calculi for quantum logics
Date: Fri, 11 Sep 92 13:27:30 BST
To: linear@cs.stanford.edu
Thomas Forster asks:
> Does anybody know anything about sequent calculi for quantum logics?
Two references I know of:
Hirokazu Nishimura: "Sequential method in quantum logic", Journal of
Symbolic Logic, volume 45 number 2, 1980, pp. 339-352.
N.J. Cutland and P.F. Gibbins: "A regular sequent calculus for quantum
logic in which /\ and \/ are dual", Logique et Analyse, volume 25, 1982,
pp. 221-248.
(Note, the paper by E.-W. Stachow in Beltrametti and van Fraassen with
the title "Sequential quantum logic" is *not* about sequent calculi - it's
about a logic for temporally sequenced experiments).
-- Jack Campin room G092, Computing Science Department, Glasgow University,
17 Lilybank Gardens, Glasgow G12 8RZ, Scotland TEL: 041 339 8855 x6854 (work)
INTERNET: jack@dcs.glasgow.ac.uk or via nsfnet-relay.ac.uk FAX: 041 330 4913
BANG!net: via mcsun and uknet BITNET: via UKACRL UUCP: jack@glasgow.uucp