[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