This paper investigates a first-order extension of GL called \(\textup{ML}^3\). We outline briefly the history that led to \(\textup{ML}^3\), its key properties and some toolbox: \emph{conservation theorem}, cut-free Gentzenisation, ``formulators'' tool. Its semantic completeness (with respect finite reverse well-founded Kripke models) is fully stated in current proof retold here. Applying Solo...

В статье термин «пластичность» рассматривается как зависимость значения признаковых слов от контекста, способность гибко реагировать на сочетаемость, уточнять значение в разных дискурсивных употреблениях. Пластичность является общей характеристикой слов, глаголах проявляется способности к функциональной категоризации, у качественных прилагательных - модификации самого признака, относительных пе...

Predicate encryption has an advantage over traditional publickey or identity-based encryption, since predicate encryption systems provide more flexible control over access to encrypted data. We focus on delegation capabilities in predicate systems. More specifically, we investigate delegatable encryption systems supporting disjunctive predicate evaluations. We present formal security definition...