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