Логические теории Станислава Лесневского и близкие системы
Станислав Лесьневский
построил три логических системы с необычной формализацией, из которых каждая
следующая надстраивается над предыдущей:
Прототетика,
Онтология,
Мереология.
Существует целый ряд теорий, формализующих Онтологию и Мериологию на базе более
привычной логики, чем Прототетика, или включающие их в качестве фрагментов. Пока
в БД имеются только варианты Онтологии.