LogoTver State University Repository

Items where Subject is "5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. > 510.6 Математическая логика > 510.64 Неклассические, формальные логические системы"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators | Item Type
Jump to: Г | К | Р
Number of items at this level: 5.

Г

Горбунов, И.А. (2017) ЭФФЕКТИВНЫЙ КРИТЕРИЙ ДЕДУКТИВНОСТИ МНОЖЕСТВ ФОРМУЛ ЛОГИКИ. Вестник ТвГУ. Серия: Прикладная математика (1). pp. 95-103. ISSN 1995-0136

Горбунов, И.А. (2018) КВАЗИНОРМАЛЬНЫЕ НАПАРНИКИ МОДАЛЬНЫХ ЛОГИК K4 И GL. Вестник ТвГУ. Серия: Прикладная математика (4). pp. 98-110. ISSN 1995-0136

К

Котикова, Е.А. and Рыбаков, М.Н. (2016) МОДЕЛИРОВАНИЕ АРИФМЕТИКИ В ЯЗЫКЕ ПЕРВОГО ПОРЯДКА, ОБОГАЩЕННОМ ТЕМПОРАЛЬНЫМИ КВАНТОРАМИ. Вестник ТвГУ. Серия: Прикладная математика (4). pp. 5-19. ISSN 1995-0136

Р

Рыбаков, М.Н. (2018) АКСИОМАТИЗИРУЕМОСТЬ НЕНОРМАЛЬНЫХ И КВАЗИНОРМАЛЬНЫХ МОДАЛЬНЫХ ПРЕДИКАТНЫХ ЛОГИК ПЕРВОПОРЯДКОВО ОПРЕДЕЛИМЫХ КЛАССОВ ШКАЛ КРИПКЕ. Вестник ТвГУ. Серия: Прикладная математика (3). pp. 81-94. ISSN 1995-0136

Рыбаков, М.Н. (2018) АЛГОРИТМИЧЕСКИЕ СВОЙСТВА ЛИНЕЙНО АППРОКСИМИРУЕМЫХ КВАЗИНОРМАЛЬНЫХ МОДАЛЬНЫХ ЛОГИК. Вестник ТвГУ. Серия: Прикладная математика (4). pp. 87-97. ISSN 1995-0136

This list was generated on Wed Nov 20 17:41:35 2019 MSK.