О системе BMS А. Блюма и С. Малиновича
Тарас А. Шиян
(Приложение к публикации перевода статьи Алекса Блюма и Стенли Малиновича «Формализация сегмента Части I Этики Спинозы»)
В статье дается формальное описание языка построенной Блюмом и Малиновичем теории (BMS) и описывается логическая система, на базе которой осуществлена их попытка реконструкции "сегмента" Этики Спинозы