Цирквентное исчисление

От / / Оставьте комментарий

Оглавление1 Постоянный математический анализ1.1 Основы циркулярного исчисления1.2 Семантика и выразительная сила1.3 Применение и ускорение доказательств1.4 Рекомендации и дальнейшее чтение1.5 Полный […]

Logical calculi, Logical expressions, Non-classical logic, Proof theory, Логические выражения, Логические исчисления, Неклассическая логика, Теория доказательств

Постоянный математический анализ

  • Основы циркулярного исчисления

    • Циркулярное исчисление – это формальное исчисление, использующее циркулы для доказательства теорем. 
    • Циркулы позволяют учитывать совместное использование подформул между компонентами. 
    • Циркулярное исчисление было предложено Дж. Джапаридзе как альтернатива традиционным теоретико-доказательным методам. 

  • Семантика и выразительная сила

    • Циркулярное исчисление связано с философией ресурсов и линейной логикой, которая считается неполной. 
    • Линейная логика не способна охватить совместное использование ресурсов, в отличие от циркулярного исчисления. 
    • Циркулярное исчисление позволяет выражать более сложные логические конструкции, чем линейная логика. 

  • Применение и ускорение доказательств

    • Циркулярное исчисление используется для определения семантики чисто пропозициональной логики. 
    • Аналитические доказательства для пропозициональных ячеек в циркулярном исчислении имеют полиномиальный размер, в отличие от экспоненциальных размеров в других системах. 

  • Рекомендации и дальнейшее чтение

    • В статье приведены ссылки на дополнительные материалы и исследования по циркулярному исчислению. 

Полный текст статьи:

Цирквентное исчисление

Похожие статьи:

  1. Лямбда-исчисление Оглавление1 Лямбда-исчисление1.1 История и происхождение1.2 Основные понятия1.3 Лямбда-термины и абстракции1.4 Применение и приложения1.5 Происхождение символа λ1.6...
  2. Линейная логика Оглавление1 Линейная логика1.1 Основы линейной логики1.2 Структура и правила линейной логики1.3 Примеры и приложения1.4 Проблемы и...
  3. Обмен Оглавление1 Разделение1.1 Определение и значение совместного использования1.2 Примеры совместного использования1.3 Совместное использование в повседневной жизни1.4 Совместное...
  4. Совместное воспитание Оглавление1 Совместное воспитание детей1.1 Типы браков и совместное воспитание1.2 Частота и популярность1.3 Научные исследования1.4 Родительские пособия1.5...
  5. Каппа-исчисление Оглавление1 Каппа-исчисление1.1 Основы Каппа-исчисления1.2 Типы и правила1.3 Свойства и примеры1.4 История и варианты1.5 Рекомендации2 Каппа-исчисление —...
  6. Исчисление функторов Оглавление1 Исчисление функторов1.1 Определение и применение исчисления функторов1.2 Примеры функторов1.3 Свойства функторов1.4 Аппроксимация функторов1.5 Ветви исчисления...
  7. Субструктурная логика Оглавление1 Подструктурная логика1.1 Основы подструктурной логики1.2 Примеры и структура теории последовательности1.3 Особенности линейной логики и релевантной...
  8. ZX-исчисление Оглавление1 ZX-математический анализ1.1 Основы ZX-исчисления1.2 Правила перезаписи1.3 Приложения ZX-исчисления1.4 Инструменты и верстка1.5 Связанные графические языки1.6 Алгебраические...
  9. Линейная алгебра Оглавление1 Линейная алгебра1.1 История линейной алгебры1.2 Векторные пространства1.3 Матрицы1.4 Определение основы1.5 Линейные отображения и матрицы1.6 Линейные...
  10. π-исчисление Оглавление1 Π-исчисление1.1 Основы π-исчисления1.2 Репликация и кодирование1.3 Эквивалентность бисимуляции1.4 Полнота по Тьюрингу1.5 Примеры и приложения1.6 Полный...
  11. Линейная логика Линейная логика Линейная логика – формальная система, основанная на линейной импликации и ограничении сжатия.  Линейная логика...
  12. Конечнозначная логика Конечнозначная логика Конечнозначная логика – логическое исчисление высказываний с дискретными истинностными значениями.  Традиционная бивалентная логика Аристотеля...
  13. Проблема с упаковкой мусорного бака Оглавление1 Проблема с упаковкой мусорного бака1.1 Задача упаковки в бункер1.2 Алгоритмы аппроксимации1.3 Онлайн-упаковка в бункер1.4 Формулировка...
  14. Реляционное исчисление Оглавление1 Реляционное исчисление1.1 Основы реляционного исчисления1.2 Теорема Кодда1.3 Примеры и математические свойства1.4 Цель реляционного исчисления1.5 Рекомендации1.6...
  15. Совместное воспитание Оглавление1 Совместное воспитание1.1 Совместное воспитание: определение и эволюция1.2 Совместное воспитание в браке и вне брака1.3 Совместное...
  16. Вариационное исчисление Оглавление1 Вариационное исчисление1.1 Основы вариационного исчисления1.2 Примеры и теоремы1.3 Феномен Лаврентьева и его последствия1.4 Приложения вариационного...
  17. Standard cell – Wikipedia Оглавление1 Стандартная ячейка1.1 Основы проектирования стандартных ячеек1.2 Структура и функции стандартных ячеек1.3 Применение стандартных ячеек1.4 Библиотека...
  18. Секвенционное исчисление Последовательное исчисление Логика высказываний – раздел математической логики, изучающий высказывания и их отношения.  Аксиомы логики высказываний...
  19. Дробное исчисление Оглавление1 Дробное исчисление1.1 Дробное исчисление1.2 История дробного исчисления1.3 Вычисление дробного интеграла1.4 Полугрупповое свойство дробно-дифференцированных операторов1.5 Дробный...
  20. Многозначная логика Оглавление1 Многозначная логика1.1 Определение и история многозначной логики1.2 Применение и приложения1.3 Исследования и разработки1.4 Ключевые отличия...
  21. Аффинная логика Оглавление1 Аффинная логика1.1 Определение и история аффинной логики1.2 Связь с линейной логикой1.3 Применение и исследования1.4 Рекомендации...
  22. Ненормальная модальная логика Оглавление1 Ненормальная модальная логика1.1 Определение и история ненормальной модальной логики1.2 Синтаксис и семантика1.3 Защитные системы и...

Оставьте комментарий

Прокрутить вверх