Categories of Elementary Sets over Algebras and Categories of Elementary Algebraic Knowledge
From MaRDI portal
Publication:5452197
DOI10.1007/978-3-540-78127-1_30zbMath1133.08004MaRDI 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
08A70: Applications of universal algebra in computer science
03G25: Other algebras related to logic
08C05: Categories of algebras
08B99: Varieties
14A20: Generalizations (algebraic spaces, stacks)
Related Items
Syntax versus semantics in knowledge bases – I, Algebraic Logic and Knowledge Bases, Logically automorphically equivalent knowledge bases models, Geometric view on homogeneous groups, Syntax versus semantics in knowledge bases II, Multi-sorted logic, models, and logical geometry., Symmetries of knowledge bases, Isotypeness of models and knowledge bases equivalence
Cites Work