Categories of Elementary Sets over Algebras and Categories of Elementary Algebraic Knowledge

DOI10.1007/978-3-540-78127-1_30zbMath1133.08004OpenAlexW1569996454MaRDI QIDQ5452197

Boris I. Plotkin, Tatjana Plotkin

Publication date: 25 March 2008

Published in: Pillars of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-78127-1_30

Mathematics Subject Classification ID

Applications of universal algebra in computer science (08A70) Other algebras related to logic (03G25) Categories of algebras (08C05) Varieties (08B99) Generalizations (algebraic spaces, stacks) (14A20)

Related Items (8)

Multi-sorted logic, models, and logical geometry. ⋮ Symmetries of knowledge bases ⋮ Syntax versus semantics in knowledge bases – I ⋮ Logically automorphically equivalent knowledge bases models ⋮ Isotypeness of models and knowledge bases equivalence ⋮ Geometric view on homogeneous groups ⋮ Syntax versus semantics in knowledge bases II ⋮ Algebraic Logic and Knowledge Bases

Cites Work

• Varieties of algebras and algebraic varieties
• Cylindric algebras. Part II
• An algebraic approach to knowledge base models informational equivalence
• Algebras with a Scheme of Operators
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Categories of Elementary Sets over Algebras and Categories of Elementary Algebraic Knowledge