Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Логика направленности изменения
Глава 7. Первопорядковая логика направленности изменения RQ: аксиоматическое исчисления
Поставить закладку
1. Синтаксис первопорядковой логики направленности изменений
Для продолжения работы требуется
Registration
Предыдущая страница
Следующая страница
Table of contents
Введение
Глава 1. Философские основания логики направленности изменения Роговского (R4)
+
Глава 2. Аксиоматическое построение логики Роговского
+
Глава 3. Внутренний способ изучения логики направленности изменения
+
Глава 4. Функциональные отношения между логикой R4 и некоторыми другими логиками
+
Глава 5. Аналитические таблицы для пропозициональной логики направленности изменения
+
Глава 6. Секвенциональное исчисление пропозициональной логики направленности изменения
+
Глава 7. Первопорядковая логика направленности изменения RQ: аксиоматическое исчисления
-
1. Синтаксис первопорядковой логики направленности изменений
2. Семантика первопорядковой логики направленности изменения
3. Семантика кванторов
4. Аксиомы и правила доказательства
5. Некоторые доказуемые формулы
Глава 8. Первопорядковая логика направленности изменения RQ: теорема полноты
+
Глава 9. Первопорядковая логика направленности изменения RQ: аналитические таблицы
+
Заключение
Приложение
Литература
Данный блок поддерживает скрол*