Propositional Logics from Rough Set Theory

DOI10.1007/978-3-540-71200-8_1zbMath1186.68446OpenAlexW2149400607MaRDI QIDQ3591003

Md. Aquil Khan, Mohua Banerjee

Publication date: 3 September 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-71200-8_1

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Related Items

Covering-based rough sets and modal logics. I. ⋮ Logics from Galois connections ⋮ Rough and Near: Modal History of Two Theories ⋮ Truth degrees theory and approximate reasoning in 3-valued propositional pre-rough logic ⋮ Formal reasoning in preference-based multiple-source rough set model ⋮ Knowledge and approximations: a formal study under the perspective of information systems and rough set theory ⋮ A non-distributive logic for semiconcepts and its modal extension with semantics based on Kripke contexts ⋮ Multiple-Source Approximation Systems: Membership Functions and Indiscernibility ⋮ A Formal Study of a Generalized Rough Set Model Based on Relative Approximations ⋮ Algebraic Representation, Dualities and Beyond ⋮ Formal reasoning with rough sets in multiple-source approximation systems ⋮ Rough implication operator based on strong topological rough algebras ⋮ A probabilistic approach to rough set theory with modal logic perspective ⋮ A Semantic Analysis of Stone and Dual Stone Negations with Regularity ⋮ A Logic for Complete Information Systems ⋮ A logic for multiple-source approximation systems with distributed knowledge base ⋮ A formal study of a generalized rough set model based on subset approximation structure ⋮ Towards Logics of Some Rough Perspectives of Knowledge ⋮ An update logic for information systems ⋮ Logics for Temporal Information Systems in Rough Set Theory