scientific article; zbMATH DE number 521219

MaRDI QIDQ4284038zbMATH OpenFDO

Authors B. Plotkin

Publication date 28 February 1994

zbMATH Keywords

algebraic aspects of database theoryalgebraic model of a database systemaxiomatic classesenumerable predicatesexperimental universal algebramany-sorted algebrasmany-sorted systemsrelational algebras

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15) Applications of universal algebra in computer science (08A70) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Database theory (68P15)

Cited in

(38)

• Complexity of equations valid in algebras of relations. I: Strong non-finitizability
• Algebraic geometry in varieties of algebras with the given algebra of constants
• Semantics of temporal classes
• q-bilattices
• Kulakov algebraic systems on groups
• De Morgan functions and free De Morgan algebras.
• Pseudomatrix groups and physical structures
• Syntactic unification as a geometric operation in free modules over certain rings
• Super-Boolean functions and free Boolean quasilattices.
• Multi-sorted logic, models, and logical geometry.
• Structurable superalgebras of classical type
• Characterization of zigzag De Morgan functions
• Algebraic logic and logical geometry. Two in one
• Super-De Morgan functions and free De Morgan quasilattices
• scientific article; zbMATH DE number 1522507 (Why is no real title available?)
• Hyperidentities and related concepts. I
• Syntax versus semantics in knowledge bases – I
• Hyperidentities and related concepts. II
• Logically-geometrical similarity for algebras and models with the same identities
• Algebraic Logic and Knowledge Bases
• A set-theoretical representation for weakly idempotent lattices and interlaced weakly idempotent bilattices
• List Objects with Algebraic Structure
• Logically automorphically equivalent knowledge bases models
• Automorphic equivalence in the varieties of representations of Lie algebras
• Geometric view on homogeneous groups
• Syntax versus semantics in knowledge bases II
• Seven lectures on universal algebraic geometry
• Freeoids: a semi-abstract view on endomorphism monoids of relatively free algebras
• Boole-De Morgan bilattices
• Information Algebra
• Intrinsic reasoning about functional programs. I: First order theories
• On the geometric equivalence of algebras
• Sets with structure, mappings and fixed point property: fixed point structures
• Logic in representations of groups
• Some classes of distance spaces as generalized metric spaces: terminology, mappings, fixed points and applications in theoretical informatics
• On relations between topological and algebraic structures of quasigroups
• Topological semi-abelian algebras
• Multi-sorted logic and logical geometry: some problems.

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)