A duality between Pawlak's knowledge representation systems and bi-consequence systems

DOI10.1007/BF01053038zbMath0839.68098MaRDI QIDQ1896761

Dimiter Vakarelov

Publication date: 28 May 1996

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

zbMATH Keywords

bi-consequence systemsPawlak's knowledge representation systems

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Knowledge representation (68T30)

Related Items

Rudiments of rough sets, The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins, Rough Set Theory: Ontological Systems, Entailment Relations and Approximation Operators, Rough Sets: From Rudiments to Challenges

Cites Work

• Representation of nondeterministic information
• Information systems theoretical foundations
• Kripke semantics for knowledge representation logics
• MODAL LOGICS IN THE THEORY OF INFORMATION SYSTEMS
• Topological representations of distributive lattices and Brouwerian logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item