Isotypeness of models and knowledge bases equivalence
From MaRDI portal
Publication:2254092
DOI10.1007/s11786-013-0166-5zbMath1319.68213OpenAlexW2026205431MaRDI QIDQ2254092
Eugene Plotkin, E. V. Aladova, Tatjana Plotkin
Publication date: 4 February 2015
Published in: Mathematics in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11786-013-0166-5
Related Items (7)
Multi-sorted logic, models, and logical geometry. ⋮ Unnamed Item ⋮ Syntax versus semantics in knowledge bases – I ⋮ Logically automorphically equivalent knowledge bases models ⋮ Geometric view on homogeneous groups ⋮ Syntax versus semantics in knowledge bases II ⋮ Algebraic Logic and Knowledge Bases
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Algebraic geometry over algebraic structures. IV: Equational domains and codomains
- Algebraic geometry over algebraic structures. V: The case of arbitrary signature
- Inclusion and equivalence between relational database schemata
- Algebraic geometry over groups. I: Algebraic sets and ideal theory
- Automorphism group computation and isomorphism testing in finite groups
- Geometrical aspect of databases and knowledge bases.
- Algebraic geometry over groups. II: Logical foundations
- Symmetries of knowledge bases
- Equivalence of Relational Database Schemes
- Equivalences among Relational Expressions
- Model Theory
- Conjugacy of Subgroups of the General Linear Group
- ALGEBRAIC LOGIC AND LOGICALLY-GEOMETRIC TYPES IN VARIETIES OF ALGEBRAS
- Algebraic logic and logical geometry in arbitrary varieties of algebras
- Categories of Elementary Sets over Algebras and Categories of Elementary Algebraic Knowledge
This page was built for publication: Isotypeness of models and knowledge bases equivalence