Линейная логика
Актуальность. Линейная логика поддается массе разнообразных изображений, разъяснений и интуиций. Теоретически доказательственная, она выводится из анализа классического секвенциального исчисления, в котором используются (структурные правила) сокращение и обессиливание внимательно контролируется. С практической точки зрения это значит, что логическая дедукция – это уже не лишь неизменно расширяющийся набор постоянных «истин», но и ещё способ манипулирования ресурсами, которые не всегда могут быть скопированы или выброшены по желанию.
Объект реферата работы – линейная логика.
Предмет реферата работы – логика.
Цель – понимания термина линейной логики и её работы.
1. Girard, Jean -Ивс. Линейная логика, Теоретическая информатика, Том 50, № 1, стр. 1–102, 1987.
2. Лафонт, Ив, 1993. Введение в линейную логику. Конспект лекций Летней школы TEMPUS по алгебраическим и категориальным методам в компьютерных науках, Брно, Чешская Республика.
3. A. С. Трельстра, Х. Швихтенберг (1996). Основная теория доказательств. В серии «Кембриджские трактаты по теоретической информатике», Cambridge University Press, ISBN 0-521-77911-1.
4. Линейная логика Автор Роберто Ди Космо и Дейл Миллер. Стэнфордская энциклопедия философии (издание осень 2006 г.), Эдвард Н. Залта (ред.).
5. Обзор линейного логического программирования, автор Дейл Миллер. В линейной логике в компьютерных науках, под редакцией Эрхарда, Жирара, Руэ и Скотта. Издательство Кембриджского университета. Конспект лекций Лондонского математического общества, том 316, 2004 г.
