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