[sc34wg3] Logical Expression of Reference Model

[Nikita Ogievetsky]

This is an interesting reading indeed.
Ann recommended it to me some time ago.
And I must say that this book (i.e. infons - information particles)
and discussions with Michel influenced my Quantum Topic Maps [1] proposal.
(And TMPM4, of course )

[1] http://www.cogx.com/kt2002/

--Nikita.

----- Original Message -----
From: "Ann M Wrightson" <ann.wrightson@alphaxml.com>
To: <sc34wg3@isotopicmaps.org>
Sent: Saturday, May 04, 2002 2:04 AM
Subject: RE: [sc34wg3] Logical Expression of Reference Model


> Re infon logic:
> Probably the most accessible intro reference is "Logic and Information" by
> Keith Devlin (Cambridge UP 1991). The ref in Jerry Seligman's email (in
the
> Elsevier Handbook of Logic and Language) is rather theoretical. I have an
> intro I did for  my students a few years ago which I can make available.
See
> also other refs below.
>
> Ann W.
>
>
> @Book{BarSel97,
> author = "J Barwise and J Seligman",
> title = "Information Flow, the Logic of Distributed Systems",
> publisher = "Cambridge UP",
> year = "1997",
> }
>
> @Book{Barwise89,
> author = "J Barwise",
> title = "The Situation in Logic",
> publisher = "CSLI Lecture Notes no. 17",
> year = "1989"
> }
>
> @InCollection{Devlin94,
> author = "K Devlin",
> title = "Situation Theory and the Design of
> Interactive Information Systems",
> booktitle = "Design Issues in CSCW",
> editor = "D Rosenberg and C Hutchison",
> publisher = " Springer-Verlag",
> year = "1994",
> }
>
>
> @InCollection{DevRos93,
> author = "K Devlin and D Rosenberg",
> title = " Situation Theory and Cooperative Action",
> booktitle = "Situation Theory and its Applications Vol 3",
> editor = "P Aczel, D Israel, Y Katagiri, S Peters",
> publisher = "CSLI",
> series =       "CSLI Lecture Notes",
> address =      "Stanford, CA.",
> number =       "37",
> }
>
>
> @Book{Devlin91,
> author = "K Devlin",
> title = "Logic and Information",
> publisher = "Cambridge UP",
> year = "1991",
> }
>
> @TechReport{DevRos94,
> author = "K Devlin and D Rosenberg",
> title = "Networked Information Flow via Stylized Documents",
> publisher = "CSLI",
> series =       "CSLI Reports",
> year = "1994",
> institution  = "CSLI",
> address =      "Stanford, CA.",
> number =       "CSLI-94-187",
> }
>
> @Article{BarGabHar95,
> author = "Jon Barwise and Dov Gabbay and Chrysafis Hartonas ",
> title = "On the Logic of Information Flow",
> journal = "Bulletin of the IGPL",
> volume = "3",
> number = "1",
> year = "1995",
> }
>
> @InCollection{Gab93,
> author = "Dov Gabbay",
> title = "Labelled Deductive Systems and Situation Theory",
> booktitle = "Situation Theory and its Applications Vol 3",
> editor = "P Aczel and D Israel and
> Y Katagiri and S Peters",
> publisher = "CSLI",
> series =       "CSLI Lecture Notes",
> address =      "Stanford, CA.",
> number =       "37",
> year = "1993",
> }
>
> @Book{STASS1,
> editor = "R Cooper and K Mukai and J Perry",
> title = "Situation Theory and its Applications Vol 1",
> publisher = "CSLI",
> series =       "CSLI Lecture Notes",
> address =      "Stanford, CA.",
> number =       "22",
> year = "1990",
> }
>
> @Book{STASS2,
> editor = "J Barwise and J M Gawron and G Plotkin
> and S Tutiya ",
> title = "Situation Theory and its Applications Vol 2",
> publisher = "CSLI",
> series =       "CSLI Lecture Notes",
> address =      "Stanford, CA.",
> number =       "26",
> year = "1991",
> }
>
> @Book{STASS3,
> editor = "P Aczel and D Israel and
> Y Katagiri and S Peters",
> title = "Situation Theory and its Applications Vol 3",
> publisher = "CSLI",
> series =       "CSLI Lecture Notes",
> address =      "Stanford, CA.",
> number =       "37",
> year = "1993",
> }
>
> -----Original Message-----
> From: sc34wg3-admin@isotopicmaps.org
> [mailto:sc34wg3-admin@isotopicmaps.org]On Behalf Of Lars Marius Garshol
> Sent: 03 May 2002 19:52
> To: sc34wg3@isotopicmaps.org
> Subject: Re: [sc34wg3] Logical Expression of Reference Model
>
>
>
> * Ann M. Wrightson
> |
> | You may be interested to know that the RM maps very well to infon
> | logic.
>
> I hate to appear ignorant, but what is "infon logic"?
>
> | I will be working further on this as time permits.
>
> Good! I hope we can discuss this whole area in Barcelona, together
> with Graham's approach.
>
> --
> Lars Marius Garshol, Ontopian         <URL: http://www.ontopia.net >
> ISO SC34/WG3, OASIS GeoLang TC        <URL: http://www.garshol.priv.no >
>
> _______________________________________________
> sc34wg3 mailing list
> sc34wg3@isotopicmaps.org
> http://www.isotopicmaps.org/mailman/listinfo/sc34wg3
>
> _______________________________________________
> sc34wg3 mailing list
> sc34wg3@isotopicmaps.org
> http://www.isotopicmaps.org/mailman/listinfo/sc34wg3
>
>
>