scientific article; zbMATH DE number 521219
zbMATH Open0785.68025MaRDI QIDQ4284038FDOQ4284038
Authors: B. Plotkin 
Publication date: 28 February 1994
Title of this publication is not available (Why is that?)
axiomatic classesrelational algebrasmany-sorted algebrasalgebraic aspects of database theoryalgebraic model of a database systemenumerable predicatesexperimental universal algebramany-sorted systems
Research exposition (monographs, survey articles) pertaining to computer science (68-02) Database theory (68P15) Cylindric and polyadic algebras; relation algebras (03G15) Applications of universal algebra in computer science (08A70)
Cited In (36)
- Super-De Morgan functions and free De Morgan quasilattices
- Logically-geometrical similarity for algebras and models with the same identities
- Freeoids: a semi-abstract view on endomorphism monoids of relatively free algebras
- Structurable superalgebras of classical type
- Geometric view on homogeneous groups
- Logic in representations of groups
- Boole-De Morgan bilattices
- List Objects with Algebraic Structure
- Topological semi-abelian algebras
- Hyperidentities and related concepts. II
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability
- Hyperidentities and related concepts. I
- Syntax versus semantics in knowledge bases II
- Multi-sorted logic, models, and logical geometry.
- Algebraic logic and logical geometry. Two in one
- Semantics of temporal classes
- Characterization of zigzag De Morgan functions
- On the geometric equivalence of algebras
- Multi-sorted logic and logical geometry: some problems.
- Seven lectures on universal algebraic geometry
- Intrinsic reasoning about functional programs. I: First order theories
- Syntax versus semantics in knowledge bases – I
- Sets with structure, mappings and fixed point property: fixed point structures
- De Morgan functions and free De Morgan algebras.
- Automorphic equivalence in the varieties of representations of Lie algebras
- Super-Boolean functions and free Boolean quasilattices.
- Kulakov algebraic systems on groups
- Pseudomatrix groups and physical structures
- Title not available (Why is that?)
- \(q\)-bilattices
- A set-theoretical representation for weakly idempotent lattices and interlaced weakly idempotent bilattices
- Logically automorphically equivalent knowledge bases models
- Algebraic Logic and Knowledge Bases
- Syntactic unification as a geometric operation in free modules over certain rings
- Information Algebra
- Algebraic geometry in varieties of algebras with the given algebra of constants
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4284038)
