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