scientific article; zbMATH DE number 1512768

MaRDI QIDQ4508459zbMATH OpenFDO

Authors B. Plotkin

Publication date 5 June 2001

Full work available at URL https://arxiv.org/abs/math/0312420

zbMATH Keywords

algebraic \(\Theta\)-logicalgebraic varietiesBoolean algebracategorydatabasegeneralized equationsgeneralized varietiesgeometric equivalencegroup representationsHalmos algebraHilbert's Nullstellensatzquantifier-free logicquasigroupssurveytopologyvarieties of algebras

Mathematics Subject Classification ID

Algebraic logic (03Gxx) Research exposition (monographs, survey articles) pertaining to general algebraic systems (08-02) Applications of universal algebra in computer science (08A70) Varieties (08Bxx) Database theory (68P15)

Recommendations

• scientific article; zbMATH DE number 567281
• scientific article; zbMATH DE number 4183416
• Algebraic logic and logical geometry in arbitrary varieties of algebras
• scientific article; zbMATH DE number 3896930
• Algebraic logic and logically-geometric types in varieties of algebras
• Algebras of logic vs. algebras
• scientific article; zbMATH DE number 3164639
• Algebraic logic
• scientific article; zbMATH DE number 1852925
• Algebras inspired by logics

Cited in

(27)

• Algebraic geometry in first-order logic
• Varieties of algebraic systems and propositional calculi
• Algebraic geometry in varieties of algebras with the given algebra of constants
• Automorphisms of the category of free Lie algebras
• Plotkin's geometric equivalence, Mal'cev's closure, and incompressible nilpotent groups
• Komori identities in algebraic logic
• Some logical invariants of algebras and logical relations between algebras
• v*-ALGEBRAS, INDEPENDENCE ALGEBRAS AND LOGIC
• scientific article; zbMATH DE number 5520316 (Why is no real title available?)
• Geometrical equivalence of groups
• scientific article; zbMATH DE number 567281 (Why is no real title available?)
• scientific article; zbMATH DE number 1487713 (Why is no real title available?)
• scientific article; zbMATH DE number 1522507 (Why is no real title available?)
• Automorphisms of categories of free algebras of varieties
• Logics of varieties, logics of semilattices and conjunction
• Logically-geometrical similarity for algebras and models with the same identities
• Algebraic logic and logically-geometric types in varieties of algebras
• Algebraic logic and logical geometry in arbitrary varieties of algebras
• Ideal Related Algebras and Their Logics Extended Abstract
• Seven lectures on universal algebraic geometry
• scientific article; zbMATH DE number 5021967 (Why is no real title available?)
• Categories of Elementary Sets over Algebras and Categories of Elementary Algebraic Knowledge
• scientific article; zbMATH DE number 3321199 (Why is no real title available?)
• scientific article; zbMATH DE number 4183416 (Why is no real title available?)
• Algebras inspired by logics
• Residuated Structures in Algebra and Logic
• 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 Q4508459)