Ассоциация символической логики
Ассоциация символической логики Обзор Ассоциации символической логики ASL — это международная организация, занимающаяся изучением символической логики. Основана в 1958 году, […]
Вики
Logic stubs
Вики
Барная индукция
Индукция стержня Определение и примеры линейчатой индукции Линейчатая индукция — это метод доказательства, основанный на предположении, что все элементы последовательности
Вики
Вампир (обеспечивает теорема)
Вампир (доказательство теоремы) Обзор Vampire Vampire — это автоматическое средство доказательства теорем для классической логики первого порядка. Разработано на факультете
Вики
Коинтерпретируемость
Взаимоинтерпретируемость Определение коинтерпретируемости Коинтерпретируемость — бинарное отношение между формальными теориями, позволяющее переводить язык одной теории на язык другой. Перевод сохраняет
Вики
Интерпретируемость
Интерпретируемость Определение интерпретируемости в математической логике Интерпретируемость — это отношение между формальными теориями, позволяющее переводить одну теорию в другую. Теория
Вики
Теоретико-доказательная семантика
Теоретико-доказательная семантика Основы теоретико-доказательной семантики Основана Герхардом Гентценом, формализована в его отчете об исключении сокращений. Изучает роль пропозиций и связок
Вики
Аффинная логика
Аффинная логика Определение и история аффинной логики Аффинная логика — это субструктурная логика без правила сжатия. Она также известна как
Вики
Интерпретация Эрбрана
Интерпретация гербового знака Интерпретация Гербранда в математической логике Интерпретация Гербранда присваивает простые значения константам и функциональным символам. Константы интерпретируются сами
Вики
Диалектическое пространство
Диалектическое пространство Основы диалектических пространств Диалектические пространства — это способ моделирования линейной логики. Представлены Валерией де Пайва как способ интерпретации
Вики
Мультимодальная логика
Многомодальная логика Определение мультимодальной логики Мультимодальная логика включает более одного модального оператора. Используется в теоретической информатике. Примеры мультимодальной логики Временная
Вики
Семантика соседства
Семантика соседства Семантика соседства в модальной логике Семантика соседства — это формальная семантика для модальной логики, разработанная Даной Скотт и
Вики
Гибридная логика
Гибридная логика Основы гибридной логики Гибридная логика расширяет пропозициональную модальную логику, сохраняя выразительность и уменьшая вычислительную сложность. Артур Прайор начал
Вики
Нормальная модальная логика
Обычная модальная логика Определение обычной модальной логики Обычная модальная логика включает все пропозициональные тавтологии и схемы Крипке. Закрыта под правилами
Вики
Предположение об уникальном имени
Присвоение уникального имени Упрощение в онтологиях и логиках Упрощение предполагает, что разные имена всегда относятся к разным объектам. Включение предположения
Вики
Свободное исчисление
Свободное владение математическим анализом Основы свободного математического моделирования Свободное математическое моделирование использует логику первого порядка для описания динамических областей. Это
Вики
Ассоциация символической логики
Ассоциация символической логики Обзор Ассоциации символической логики ASL — это международная организация, занимающаяся изучением символической логики. Основана в 1958 году,
Вики
Доказательная сеть
Защитная сетка Основы проверочных сеток Проверочные сетки — это геометрический метод доказательства, устраняющий бюрократию в синтаксисе и порядке правил. Они
Вики
Свежая переменная
Новая переменная Определение новой переменной Новая переменная — это переменная, не встречавшаяся в контексте до этого. Используется для замены других
Вики
Степень истины
Степень истинности Классическая логика и степень достоверности Утверждения могут быть истинными или ложными, но некоторые ученые рассматривают их как более
Вики
Нормальная модальная логика
Обычная модальная логика Определение обычной модальной логики Обычная модальная логика включает все пропозициональные тавтологии и схемы Крипке. Закрыта под правилами
Вики
Система проверки прототипа
Система верификации прототипа Основы PVS PVS — это язык спецификаций с автоматизированной проверкой теорем, разработанный в SRI International. Основана на