| Найдено документов - 1 | Выборка докусментов | Версия для печати |
Сортировать по:
1. Статья
Stepanov Vladimir Alekseevich.
In defense of the self-reference quantifier S??. Approximation by dynamic systems / Stepanov Vladimir Alekseevich
// Математические основы информатики и информационно-коммуникационных систем". - Тверь : Тверской государственный университет, 2021. - С. 272-278. - Библиогр.: с. 277 (5 назв.).
In defense of the self-reference quantifier S??. Approximation by dynamic systems / Stepanov Vladimir Alekseevich
// Математические основы информатики и информационно-коммуникационных систем". - Тверь : Тверской государственный университет, 2021. - С. 272-278. - Библиогр.: с. 277 (5 назв.).
Ключевые слова: Self-reference quantifier, Dynamic systems, TruthTeller, Математическое моделирование, Динамика
Ссылка на ресурс: http://megapro.tversu.ru/megaPro/UserEntry?Action=FindDocs&ids=5455333
Ссылка на ресурс: http://texts.lib.tversu.ru/texts/151526t.pdf
Подробнее
Аннотация: Arguments in defense of introducing the self-referencing quantifier S?? and its approximation on dynamical systems are consistently presented. The case of classical logic is described in detail. Generated 3-valued truth tables that match the corresponding Priest tables [5]. In the process of constructing 4-valued truth tables, two more truth values were revealed that did not coincide with the original ones. Therefore, the closed tables turned out to be 6-valued. De Morgan’s law confirmed in 6-valued truth tables.