Principles of axiomatization for psychoinformatics
Keywords:
socion, null-category, lattice, Boolean algebra, Heiting algebra, pseudoboolean algebra, Boolean topos, fuuzzy toposAbstract
Model of socion in category form on the basis of axiom systems is constructed. This category is fuzzy topos that is topos Ω-Set is driven.
References
Дубров Я. А. Концептуальное и математическое моделирование в соционике. // Соционика, ментология и психология личности. — 1999. — №5. — С. 55-66.
Дубров Я. О., Фарович Л. Я. Алгебра Аугустинавічюте тілесно-психоментальних систем: основні теореми. // Сьома Всеукраїнська наук. конф. «Сучасні проблеми прикладної математики та інформатики». Тези доповідей. — Львів, 2000. — С. 40-41.
Дубров Я. О. Алгебра Аугустинавічюте homo sapiens: основні концепції, моделі та теореми. Підвалини категорної соціоніки. // Форум. — 2003. — №1. — С. 4-32.
Копнов В. А. Нечеткие подмножества социона (рукопись), Екатеринбург, 18 с.
Плоткин Б. И. Универсальная алгебра, алгебраическая логика и базы данных. — М., 1991. — 448 с.
Голдблатт Р. Топосы. Категорный анализ логики. — М., 1983. — 488 с.
Рассева Х., Сикорский Р. Математика метаматематики. — М., 1972.
