Линейная логика

Актуальность. Линейная логика поддается массе разнообразных изображений, разъяснений и интуиций. Теоретически доказательственная, она выводится из анализа классического секвенциального исчисления, в котором используются (структурные правила) сокращение и обессиливание внимательно контролируется. С практической точки зрения это значит, что логическая дедукция – это уже не лишь неизменно расширяющийся набор постоянных «истин», но и ещё способ манипулирования ресурсами, которые не всегда могут быть скопированы или выброшены по желанию.

Объект реферата работы – линейная логика.

Предмет реферата работы – логика.

Цель – понимания термина линейной логики и её работы.

Введение. 3

1.  Линейная логика. 4

2.  Линейная логика и квантовые группы: надежда на великое объединение. 4

Заключение. 9

Список используемых источников. 10

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 г.