scientific article; zbMATH DE number 3934439

MaRDI QIDQ3706523zbMATH OpenFDO

Authors Cecylia Rauszer

Publication date 1985

zbMATH Keywords

positive implicative logicrelational data structures

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55) Data structures (68P05) Information storage and retrieval of data (68P20)

Cited in

(10)

• Functional dependencies, supervenience, and consequence relations
• Cecylia Rauszer
• Functional dependencies between variables
• On functional dependencies in q-Horn theories
• scientific article; zbMATH DE number 3902087 (Why is no real title available?)
• scientific article; zbMATH DE number 3986682 (Why is no real title available?)
• A relation-algebraic approach to the ``Hoare logic of functional dependencies
• Supervenience, dependence, disjunction
• Rough Sets: From Rudiments to Challenges
• Rudiments of rough sets

This page was built for publication:

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