1997 | OriginalPaper | Buchkapitel
Linear Logic
verfasst von : Jules Desharnais, Bernard Hodgson, John Mullins
Erschienen in: Relational Methods in Computer Science
Verlag: Springer Vienna
Enthalten in: Professional Book Archive
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Linear logic, introduced by Jean-Yves Girard [Girard 1987], has aroused considerable interest among logicians and theoretical computer scientists. Among other things, linear logic is said to be a resource-conscious logic and a logic of actions. According to Girard [Girard 1995], it should be viewed as an extension of classical logic, rather than as an alternative logic.