Algebraic Logic and Knowledge Bases

DOI10.1007/978-3-030-64187-0_1MaRDI QIDQ5015962zbMATH OpenOpenAlexFDO

Authors E. Aladova, B. Plotkin, T. Plotkin

Publication date 10 December 2021

Published in Hajnal Andréka and István Németi on Unity of Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-64187-0_1

zbMATH Keywords

algebraic logiccategoryequivalence of knowledge basesequivalence of modelsGalois correspondenceHalmos algebrasknowledge basesemanticssyntaxultrafilter

Mathematics Subject Classification ID

General algebraic systems (08-XX) Computer science (68-XX)

Cites work

• A relational model of data for large shared data banks
• A survey of abstract algebraic logic
• Algebraic geometry in first-order logic
• Algebraic logic and logically-geometric types in varieties of algebras
• Algebraizable logics
• Algebraization of quantifier logics, an introductory overview
• Automorphisms of the category of free Lie algebras
• Categories of Elementary Sets over Algebras and Categories of Elementary Algebraic Knowledge
• scientific article; zbMATH DE number 3164639 (Why is no real title available?)
• scientific article; zbMATH DE number 521219 (Why is no real title available?)
• scientific article; zbMATH DE number 1852925 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• Isotyped algebras
• Isotypeness of models and knowledge bases equivalence
• Logically automorphically equivalent knowledge bases models
• Model Theory
• Multi-sorted logic and logical geometry: some problems.
• Representable cylindric algebras
• Seven lectures on universal algebraic geometry
• Syntax versus semantics in knowledge bases II
• Syntax versus semantics in knowledge bases – I
• Types of points and algebras

Cited in

(3)

• A logico-algebraic approach to the model theory of knowledge
• A logic-algebraic tool for reasoning with knowledge-based systems
• A generic algebra for data collections based on constructive logic

This page was built for publication: Algebraic Logic and Knowledge Bases

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5015962)