72 citations · 163 across the 16 of their papers we have counts for
17 papers
Multi-sorted logic, models and logical geometry
Elena Aladova, Aleko Gvaramia, Boris Plotkin +1
Let be a variety of algebras, be a model, where is an algebra from , is a set of relation symbols , is an interpretation of all in . Let $X…
Decompositions and complexity of linear automata
Boris Plotkin, Tatjana Plotkin
The Krohn-Rhodes complexity theory for pure (without linearity) automata is well-known. This theory uses an operation of wreath product as a decomposition tool. The main goal of th…
Automata and automata mappings of semigroups
Boris Plotkin, Tatjana Plotkin
The paper is devoted to two types of algebraic models of automata. The usual (first type) model leads to the developed decomposition theory (Krohn-Rhodes theory). We introduce anot…
Algebra and logic. Some problems
Boris Plotkin
The paper has a form of a talk on the given topic. It consists of three parts. The first part of the paper contains main notions, the second one is devoted to logical geometry, the…
Algebraic logic and logical geometry in arbitrary varieties of algebras
Boris Plotkin
The paper consists of two parts. The first part is devoted to logic for universal algebraic geometry. The second one deals with problems and some results. It may be regarded as a b…
Algebraic logic and logically-geometric types in varieties of algebras
Boris Plotkin, Elena Aladova, Eugene Plotkin
The main objective of this paper is to show that the notion of type which was developed within the frames of logic and model theory has deep ties with geometric properties of algeb…