Многосортированная логика
-
Основы многосортированной логики
- Многосортированная логика разделяет универсум на типы, подобно программированию.
- Синтаксис логики отражает это разделение, требуя правильной подстановки аргументов.
-
Многоуровневая логика и ее применение
- Многоуровневая логика представляет собой пакет информации, который разделяет область дискурса на непересекающиеся подмножества.
- Примером может служить разделение биологических организмов на растения и животных.
-
Алгебраизация многосортированной логики
- Калейру и Гонсалвес описали алгебраизацию многосортной логики.
- Эта статья может служить вводным материалом для изучения многосортной логики.
-
Логика упорядоченной сортировки
- Логика упорядоченной сортировки допускает пересечение сортировок, что упрощает доказательство теорем.
- Унарные предикаты могут быть преобразованы в сортировки, что упрощает доказательство теорем.
-
Обобщение логики упорядоченной сортировки
- Смолка и Шмидт-Шаусс расширили логику упорядоченной сортировки для поддержки параметрического полиморфизма и объявления терминов.
-
Рекомендации и внешние ссылки
- В статье упоминаются ранние работы по многосортированной логике, включая сборники эссе и конспекты лекций.