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