Диалектика пространства
Пространства диалектики представляют собой категориальный способ построения моделей линейной логики .
Они были введены Валерией де Пайвой , ученицей Мартина Хайленда , в ее докторской диссертации как способ моделирования как линейной логики, так и интерпретации «Диалектики» Гёделя — отсюда и название.
Если задана категория C и конкретный объект K из C с определенными (логическими) свойствами, можно построить категорию пространств Dialectica над C , объектами которой являются пары объектов из C , связанные C - морфизмом в K. Морфизмы пространств Dialectica похожи на морфизмы пространств Чу , но вместо условия равенства они имеют условие неравенства , которое читается как логическое следствие : первый объект влечет второй.
Ссылки
- К. Гёдель. «Uber eine bisher noch nicht benutzte Erweiterung des Finin Standpunktes - Dialectica», 1958. (Перевод и анализ в Собрании сочинений , том II, публикации, 1937–1974 — ред. С. Фефермана и др., 1990).
- V. de Paiva. "The Dialectica Categories". В Proc. of Categories in Computer Science and Logic, Boulder, CO, 1987. Contemporary Mathematics, т. 92, American Mathematical Society, 1989 (ред. J. Gray и A. Scedrov)
- В. де Пайва. «Диалектическая модель линейной логики». В Proc. Conf. on Category Theory and Computer Science, Springer-Verlag Lecture Notes in Computer Science 389, стр. 341–356, Манчестер, сентябрь 1989 г.
 | Эта статья по теории категорий — заглушка . Вы можете помочь Википедии, расширив ее. |
 | Эта статья, связанная с логикой, является заглушкой . Вы можете помочь Википедии, расширив ее. |
