Чагров, А.В. (2003) Применение итерации для дедукционных теорем в нормальных модальных логиках. Вестник ТвГУ. Серия: Прикладная математика (1). С. 28-33. ISSN 1995-0136
Предварительный просмотр |
PDF
- Опубликованная версия
2MB |
Абстракт
Обсуждаются некоторые эффективные варианты теорем о дедукции для нормальных модальных логик. Доказана внешняя теорема о дедукции для минимальной нормальной модальной логики К: формула фи выводима в К из пси в точности тогда, когда формула *фи -> пси принадлежит динамической логике.
Абстракт (англ.)
Some questions about effective variants of deduction theorem for normal modal logics are discussed. An external deduction theorem for minimal normal modal logic К - a formula ф is deducible from <p in К iff the formula O*ip -* ф belongs to the. dynamic logic - is proved.
| Тип объекта: | Статья |
|---|---|
| Сведения об авторах: | Чагров Александр Васильевич, 170100, г. Тверь, ул. Желябова, 33, Тверской государственный университет, Профессор кафедры общей и прикладной алгебры и геометрии. |
| Категории: | 5 Математика. Естественные науки > 51 Математика > 517 Анализ > 517.1 Введение в анализ |
| Подразделения: | Университеты > Тверской государственный университет > Факультеты > Математический > Кафедра алгебры и математической логики |
| ID Code: | 1340 |
| Deposited On: | 08 Янв 2017 08:14 |
| Последнее изменение: | 08 Янв 2017 08:14 |
Repository Staff Only: item control page