frame algebra

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