Wer macht lineare Logik?

Article View: de.sci.ki.discussion

Article #4

Back to de.sci.ki.discussion Previous Next

From: Josef Schneeberger
Date: Tue, 28 Jul 1992 18:24

19 lines
1759 bytes

{ Langsam komme ich mir auf dieser Liste wirklich etwas einsam vor ... ):- }

Mit dem Mut der Verzweiflung starte ich mal die erste Anfrage: In unserer
Arbeitsgruppe hier in Darmstadt beschaeftigen wir uns seit einiger Zeit mit
sog. "linearen" Deduktionsmethoden (was immer das "liear" hier auch bedeuten
mag). Der/bzw. die beaknnteste Vertreterin auf diesem Gebiet ist die lineare
Logik von Girard. Ich bin auf der Suche nach Leuten, die sich schon ein wenig
damit beschaeftigt haben (evtl. sind die auch bei den Mathematikern zu
finden). Fuer sachdienliche Hinweise waere ich ausgesprochen dankbar.

	Josef

--
------------------------------------------------------------------------------
Josef Schneeberger,               FG Intellektik - FB Informatik, TH Darmstadt
                                      Alexanderstr.10, 6100 Darmstadt, Germany
                                                        Tel.: +49 6151 16-3638
sepp@intellektik.informatik.th-darmstadt.de             Fax : +49 6151 16-5326
------------------------------------------------------------------------------

Technical Details

Message-ID: <SEPP.92Jul28182402@kiwi.intellektik.informatik.th-darmstadt.de>

Path:

arc1-ca.pugleaf.net!sparky!uunet!elroy.jpl.nasa.gov!sdd.hp.com!caen!sol.ctr.columbia.edu!ira.uka.de!math.fu-berlin.de!news.th-darmstadt.de!intellektik.informatik.th-darmstadt.de!sepp

Show Full Headers

Complete Article Headers

Newsgroups: de.sci.ki.discussion
Path: arc1-ca.pugleaf.net!sparky!uunet!elroy.jpl.nasa.gov!sdd.hp.com!caen!sol.ctr.columbia.edu!ira.uka.de!math.fu-berlin.de!news.th-darmstadt.de!intellektik.informatik.th-darmstadt.de!sepp
From: sepp@kiwi.intellektik.informatik.th-darmstadt.de (Josef Schneeberger)
Subject: Wer macht lineare Logik?
Sender: news@infoserver.th-darmstadt.de (The Usenet-News System)
Message-ID: <SEPP.92Jul28182402@kiwi.intellektik.informatik.th-darmstadt.de>
Cc: sepp
Date: Tue, 28 Jul 1992 18:24:01 GMT
Nntp-Posting-Host: kiwi.intellektik.informatik.th-darmstadt.de
Organization: FG Intellektik, FB Informatik, TH Darmstadt (Germany)
Lines: 19