Algebraic Logic and Knowledge Bases

DOI10.1007/978-3-030-64187-0_1OpenAlexW3169180618MaRDI QIDQ5015962

E. V. Aladova, Boris I. Plotkin, Tatjana 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

categoryalgebraic logicsemanticsultrafilterknowledge basesyntaxGalois correspondenceequivalence of modelsHalmos algebrasequivalence of knowledge bases

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Isotyped algebras
• Multi-sorted logic and logical geometry: some problems.
• Algebraic geometry in first-order logic
• Algebraization of quantifier logics, an introductory overview
• A survey of abstract algebraic logic
• Automorphisms of the category of free Lie algebras
• Representable cylindric algebras
• Isotypeness of models and knowledge bases equivalence
• Algebraizable logics
• Syntax versus semantics in knowledge bases – I
• Types of points and algebras
• Model Theory
• ALGEBRAIC LOGIC AND LOGICALLY-GEOMETRIC TYPES IN VARIETIES OF ALGEBRAS
• Logically automorphically equivalent knowledge bases models
• Syntax versus semantics in knowledge bases II
• Seven lectures on universal algebraic geometry
• Categories of Elementary Sets over Algebras and Categories of Elementary Algebraic Knowledge
• A relational model of data for large shared data banks

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