quantum logics

• To: types
• Subject: quantum logics
• From: Thomas Forster <T.Forster@pmms.cam.ac.uk>
• Date: Wed, 09 Sep 92 12:29:17 EDT
• Sender: meyer@theory.lcs.mit.edu

Date: Wed, 9 Sep 92 09:55 BST
To: linear@cs.stanford.edu

Does anybody know anything about sequent calculi for quantum logics?
      Thomas Forster

• Prev: Re: 2 questions re: mapping from IL to ILL
• Next: MFPS IX
• Index(es):
  • Main
  • Thread