Принципы аксиоматизации психоинформатики
Ключові слова:
социон, нуль-категория, решетка, булева алгебра, алгебра Гейтинга, псевдобулева алгебра, булев топос, расплывчатый топосАнотація
На базе системы аксиом конструируется модель социона в виде категории и доказывается, что эта категория является расплывчатым топосом, т.е. топосом расплывчатых множеств Ω-Set.
Посилання
Дубров Я. А. Концептуальное и математическое моделирование в соционике. // Соционика, ментология и психология личности. — 1999. — №5. — С. 55-66.
Дубров Я. О., Фарович Л. Я. Алгебра Аугустинавічюте тілесно-психоментальних систем: основні теореми. // Сьома Всеукраїнська наук. конф. «Сучасні проблеми прикладної математики та інформатики». Тези доповідей. — Львів, 2000. — С. 40-41.
Дубров Я. О. Алгебра Аугустинавічюте homo sapiens: основні концепції, моделі та теореми. Підвалини категорної соціоніки. // Форум. — 2003. — №1. — С. 4-32.
Копнов В. А. Нечеткие подмножества социона (рукопись), Екатеринбург, 18 с.
Плоткин Б. И. Универсальная алгебра, алгебраическая логика и базы данных. — М., 1991. — 448 с.
Голдблатт Р. Топосы. Категорный анализ логики. — М., 1983. — 488 с.
Рассева Х., Сикорский Р. Математика метаматематики. — М., 1972.
