The OI-resolution of operator rough logic

DOI10.1007/3-540-69115-4_59MaRDI QIDQ4400874zbMATH OpenFDO

Authors Qing Liu, Qing Liu

Publication date 2 August 1998

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

Full work available at URL https://doi.org/10.1007/3-540-69115-4_59

zbMATH Keywords

many-valued logicOI-resolutionoperator rough logicoperator spacerough set theory

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Many-valued logic (03B50)

Recommendations

• The resolution for rough propositional logic with lower (L) and upper (H) approximate operators
• scientific article; zbMATH DE number 5896736
• Rough approximation operators on \(R_0\)-algebras (nilpotent minimum algebras) with an application in formal logic \(\mathcal{L}^\ast\)
• scientific article; zbMATH DE number 5027148
• Fuzzy rough logic semantic and its reasoning

Cited in

(2)

• The resolution for rough propositional logic with lower (L) and upper (H) approximate operators
• On the equivalence of some approaches to the OWA operator and RIM quantifier determination

This page was built for publication: The OI-resolution of operator rough logic

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