Information algebras and consequence operators

DOI10.1007/S11787-006-0007-2zbMath1116.03024OpenAlexW2048296636MaRDI QIDQ874751

Jürg Kohlas, Robert F. Stärk

Publication date: 10 April 2007

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-006-0007-2

zbMATH Keywords

algebraic specificationrelational databasesconstraint systemsmodule algebraconsequence operatorsinformation representation

Mathematics Subject Classification ID

Database theory (68P15) Knowledge representation (68T30) Logic in computer science (03B70) Applications of universal algebra in computer science (08A70) Abstract data types; algebraic specification (68Q65) Other algebras related to logic (03G25) Abstract deductive systems (03B22)

This page was built for publication: Information algebras and consequence operators