Information algebras and consequence operators

DOI10.1007/S11787-006-0007-2zbMATH Open1116.03024OpenAlexW2048296636MaRDI QIDQ874751FDOQ874751

Authors: 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

Recommendations

• Consequence operators and information algebras
• Algebras for Information Systems
• Information algebra induced by information systems
• scientific article
• scientific article; zbMATH DE number 4049152

zbMATH Keywords

relational databasesalgebraic specificationconstraint systemsmodule algebraconsequence operatorsinformation representation

Mathematics Subject Classification ID

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

Cited In (3)

• ON TWO TYPES OF CONTINUOUS INFORMATION ALGEBRAS
• Title not available (Why is that?)
• Information and \(\sigma\)-algebras

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

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