Основы неклассической логики (Basics of Non-Classical Logics) - учебный курс | ИСТИНА – Интеллектуальная Система Тематического Исследования НАукометрических данных

Основы неклассической логики (Basics of Non-Classical Logics)учебный курс

Автор: Яворская Татьяна Леонидовна
Год создания: 2016
Организация: МГУ имени М.В. Ломоносова
Курс на иностранном языке
Описание: This course can be naturally split in two parts. Part 1. Propositional intuitionistic logic. We present three types of deductive systems: Hylbert-style calculus, Hentzen-style calculus and Natural deduction system. We prove the equivalence of these three systems, describe relation of natural deductions and lambda-terms (so-called Curry-Howard isomorphism) and prove Cut-elimination theorem for Hentzen-style calculus. Also we describe Kripke semantics and topological semantics for intuitionistic logic and prove the corresponding completeness theorems. Part 2. Modal logic. We define several well-known modal systems such as K, K4, S4, Grz and GL and Kripke semantics for them. We give the proofs for the corresponding completeness theorems and describe correspondence between the modal logic S4 and propositional intuitionistic logic.
Добавил в систему: Золин Евгений Евгеньевич

	ИСТИНА	Войти в систему Регистрация
	ИСТИНА ЦЭМИ РАН
	Главная Поиск Статистика О проекте Помощь

ИСТИНА