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