математична логіка, математическая логика ; мови програмування, языки программирования, computer program language ; неокласичні логіки, неоклассические логики
Композиційно-номінативні логіки базуються на алгебрах часткових предикатів. та будуються у семантико-синтаксичному стилі. В цій роботі ми пропонуємо та досліджуємо методи розв"язання проблеми виконуваності, тобто методи перевірки виконуваності формул, для пропозиційної та реномінативноі композиційно-номінативної логіки. Ця проблема є важливою, зокрема, у задачах верифікації специфікацій, представлених у логічних мовах.
Composition-nominative logics are algebra-based logics of partial predicates constructed in a semantic-syntactic style. In the paper we present and investigate methods for solving satisfiability problem, i.e. methods for checking satisfiability of formulas for propositional and renominative composition-nominative logic. This problem isimportant, for instance, in the domain of verification of specifications presented in logical languages.
