Wer macht lineare Logik?

Thread View: de.sci.ki.discussion

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Josef Schneeberger Tue, 28 Jul 1992 18:24

Author: 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
------------------------------------------------------------------------------

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads