103 research outputs found
Relation algebras with n-dimensional relational bases
Accepted versio
Unifiability and Structural Completeness in Relation Algebras and in Products of Modal Logic S5
Unifiability of terms (and formulas) and structural completeness in the variety of relation algebras RA and in the products of modal logic S5 is investigated. Nonunifiable terms (formulas) which are satisfiable in varieties (in logics) are exhibited. Consequently, RA and products of S5 as well as representable diagonal-free n-dimensional cylindric algebras, RDfn, are almost structurally complete but not structurally complete. In case of S5ⁿ a basis for admissible rules and the form of all passive rules are provided
Tarski's influence on computer science
The influence of Alfred Tarski on computer science was indirect but
significant in a number of directions and was in certain respects fundamental.
Here surveyed is the work of Tarski on the decision procedure for algebra and
geometry, the method of elimination of quantifiers, the semantics of formal
languages, modeltheoretic preservation theorems, and algebraic logic; various
connections of each with computer science are taken up
Gr\"obner-Shirshov bases and their calculation
In this survey, we formulate the Gr\"{o}bner-Shirshov bases theory for
associative algebras and Lie algebras. Some new Composition-Diamond lemmas and
applications are mentioned.Comment: 91 page
- …