LogoTver State University Repository

Применение итерации для дедукционных теорем в нормальных модальных логиках

Чагров, А.В. (2003) Применение итерации для дедукционных теорем в нормальных модальных логиках. Вестник ТвГУ. Серия: Прикладная математика (1). pp. 28-33. ISSN 1995-0136

[img]
Preview
PDF - Published Version
2MB

Abstract

Обсуждаются некоторые эффективные варианты теорем о дедукции для нормальных модальных логик. Доказана внешняя теорема о дедукции для минимальной нормальной модальной логики К: формула фи выводима в К из пси в точности тогда, когда формула *фи -> пси принадлежит динамической логике.

Abstract (en)

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.

Item Type:Article
Additional Information:Чагров Александр Васильевич, 170100, г. Тверь, ул. Желябова, 33, Тверской государственный университет, Профессор кафедры общей и прикладной алгебры и геометрии.
Subjects:5 Математика. Естественные науки > 51 Математика > 517 Анализ > 517.1 Введение в анализ
Divisions:Университеты > TverSU > Faculties > Mathematical > Кафедра алгебры и математической логики
ID Code:1340
Deposited By: И.С. Солдатенко
Deposited On:08 Jan 2017 08:14
Last Modified:08 Jan 2017 08:14

Repository Staff Only: item control page