From mboxrd@z Thu Jan 1 00:00:00 1970
X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2473
Path: news.gmane.org!not-for-mail
From: Peter McBurney
Newsgroups: gmane.science.mathematics.categories
Subject: Re: quantum logic
Date: Mon, 13 Oct 2003 14:21:30 +0100
Message-ID: <3F8AA6DA.6090503@csc.liv.ac.uk>
References: <200310120057.h9C0vK816608@math-cl-n01.ucr.edu>
NNTP-Posting-Host: main.gmane.org
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit
X-Trace: ger.gmane.org 1241018684 4319 80.91.229.2 (29 Apr 2009 15:24:44 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Wed, 29 Apr 2009 15:24:44 +0000 (UTC)
To: categories
Original-X-From: rrosebru@mta.ca Thu Oct 16 16:47:35 2003 -0300
Return-path:
Envelope-to: categories-list@mta.ca
Delivery-date: Thu, 16 Oct 2003 16:47:35 -0300
Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.10)
id 1AAE5r-0003O9-00
for categories-list@mta.ca; Thu, 16 Oct 2003 16:47:31 -0300
X-Accept-Language: en-us, en
Original-Sender: cat-dist@mta.ca
Precedence: bulk
X-Keywords:
X-UID: 24
Original-Lines: 61
Xref: news.gmane.org gmane.science.mathematics.categories:2473
Archived-At:
John --
Although not a categorical treatment, a recent paper by Kurt Engesser
and Dov Gabbay in discusses a connection
between Quantum Logic and Hilbert spaces. (The reason the work
appeared in the leading AI journal is that there are applications to
nonmonotonic reasoning, which is a major area of research in AI.)
Citation details and abstract below.
-- Peter
==================================================================
Artificial Intelligence
Volume 136, Issue 1 , March 2002 , Pages 61-100
"Quantum logic, Hilbert space, revision theory"
Kurt Engesser and Dov M. Gabbay
a Birkenweg 3, 78573 Wurmlingen, Germany
b Department of Computer Science, King's College London, Strand, London
WC2R 2LS, UK
Abstract
Our starting point is the observation that with a given Hilbert space H
we may, in a way to be made precise, associate a class of non-monotonic
consequence relations in such a way that there exists a one-to-one
correspondence between the rays of H and these consequence relations.
The projectors in Hilbert space may then be viewed as a sort of revision
operators. The lattice of closed subspaces appears as a natural
generalisation of the concept of a Lindenbaum algebra in classical
logic. The logics presentable by Hilbert spaces are investigated and
characterised. Moreover, the individual consequence relations are
studied. A key concept in this context is that of a consequence relation
having a pointer to itself. It is proved that such consequence relations
have certain remarkable properties in that they reflect their metatheory
at the object level to a surprising extent. The tools used in the
investigation stem from two different areas of research, namely from the
disciplines of non-monotonic logic on the one hand and from Hilbert
space theory on the other. There exist surprising connections between
these two fields of research the investigation of which constitutes the
purpose of this paper.
Author Keywords: Quantum logic; Hilbert space; Revision theory;
Consequence relation; Non-monotonic logic
====================================================================