E. Aladova

activity

20092018

collaborators

Showing cs.LOShow all

2 papers · 1 filter

cs.LO2017

Logically automorphically equivalent knowledge bases

Elena Aladova, Tatjana Plotkin

Knowledge bases theory provide an important example of the field where applications of universal algebra and algebraic logic look very natural, and their interaction with practical…

cs.LO2015

Multi-sorted logic, models and logical geometry

Elena Aladova, Aleko Gvaramia, Boris Plotkin +1

Let $Θ$ be a variety of algebras, $(H, Ψ, f)$ be a model, where $H$ is an algebra from $Θ$ , $Ψ$ is a set of relation symbols $φ$ , $f$ is an interpretation of all $φ$ in $H$ . Let $X…