sequent calculi for quantum logics

Thread View: fj.mail-lists.types

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by jack Sat, 12 Sep 1992 17:43

#19

Author: jack
Date: Sat, 12 Sep 1992 17:43

23 lines
1382 bytes

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

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads