Algebraic Logic and Knowledge Bases (Q5015962)
From MaRDI portal
scientific article; zbMATH DE number 7442306
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Algebraic Logic and Knowledge Bases |
scientific article; zbMATH DE number 7442306 |
Statements
Algebraic Logic and Knowledge Bases (English)
0 references
10 December 2021
0 references
algebraic logic
0 references
knowledge base
0 references
Halmos algebras
0 references
Galois correspondence
0 references
syntax
0 references
semantics
0 references
equivalence of models
0 references
equivalence of knowledge bases
0 references
category
0 references
ultrafilter
0 references
0 references
