алгебра фреймов – English translation

frame algebra (математический аппарат манипулирования фреймами, включающий операции дизъюнкции, конъюнкции, отрицания и импликации)