quantum logics

Article View: fj.mail-lists.types

Article #48

Back to fj.mail-lists.types Previous Next

#48

From: mizuhito
Date: Wed, 16 Sep 1992 06:31

5 lines
645 bytes

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

Technical Details

Message-ID: <315666@nttlab.ntt.JP>

Path: arc1-ca.pugleaf.net!sparky!uunet!sun-barr!sh.wide!wnoc-snd-ss2!akiu!hakata!kyu-cs!lab!nttlab!daemon

Show Full Headers

Complete Article Headers

X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 1300b0,1dc343e1a671c41
X-Google-Attributes: gid1300b0,public
X-Google-ArrivalTime: 1992-09-15 19:11:42 PST
Path: arc1-ca.pugleaf.net!sparky!uunet!sun-barr!sh.wide!wnoc-snd-ss2!akiu!hakata!kyu-cs!lab!nttlab!daemon
From: mizuhito@ntt-20.NTT
Newsgroups: fj.mail-lists.types
Subject: quantum logics
Message-ID: <315666@nttlab.ntt.JP>
Date: 16 Sep 92 06:31:04 GMT
Sender: daemon@nttlab.ntt.JP
Distribution: fj
Lines: 5
Approved: news@nttlab.ntt