scientific article; zbMATH DE number 1522507

zbMath0967.03058MaRDI QIDQ4510742

Boris I. Plotkin

Publication date: 27 March 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

comonadsalgebraic logicalgebraic structuremonadsalgebraic modelrelational databasesvarieties of algebrasdata typemodel-theoretic approachdata algebrascategory of databasesuniversal algebra of queries

Mathematics Subject Classification ID

Database theory (68P15) Applications of universal algebra in computer science (08A70) Categorical logic, topoi (03G30) Theories (e.g., algebraic theories), structure, and semantics (18C10) Equational classes, universal algebra in model theory (03C05) Cylindric and polyadic algebras; relation algebras (03G15) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Applications of model theory (03C98)

Related Items (8)

Algebraic logic and logical geometry. Two in one ⋮ Symmetries of knowledge bases ⋮ Multi-sorted logic and logical geometry: some problems. ⋮ Fuzzy sets as two-sorted algebras ⋮ An algebraic approach to knowledge base models informational equivalence ⋮ Seven lectures on universal algebraic geometry ⋮ Algebraic geometry in first-order logic ⋮ Algebraic geometry in varieties of algebras with the given algebra of constants

Cites Work

• The relational model of data and cylindric algebras
• Cylindric algebras. Part II
• Relations between data types
• Topoi. The categorial analysis of logic
• Algebraic semantics
• A complete logic for reasoning about programs via nonstandard model theory. I
• Object-oriented programming and abstract data types
• Call-by-name, call-by-value and the \(\lambda\)-calculus
• First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
• Cylindric and Polyadic Algebras
• Cylindric algebras with terms
• Algebraizable logics
• Equivalence of Relational Database Schemes
• On Database Logic
• Every Standard Construction is Induced by a Pair of Adjoint Functors
• A relational model of data for large shared data banks
• Heterogeneous algebras
• Algebras with a Scheme of Operators
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Classes of finite simple groups
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: