Information completeness in Nelson algebras of rough sets induced by quasiorders

DOI10.1007/s11225-012-9421-zzbMath1322.68193arXiv1203.2136MaRDI QIDQ383570

Sándor Radeleczki, Piero Pagliani, Jouni Järvinen

Publication date: 5 December 2013

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

Full work available at URL: https://arxiv.org/abs/1203.2136

zbMATH Keywords

rough sets; knowledge representation; preorders; Boolean congruence; Glivenko congruence; logics with strong negation; Nelson algebras; quasiorders

Mathematics Subject Classification ID

68T27: Logic in artificial intelligence

68T30: Knowledge representation

03G25: Other algebras related to logic

Related Items

Paraconsistent constructive logic with strong negation as a contraction-free relevant logic, Pseudo-Kleene algebras determined by rough sets, Rough \(L\)-fuzzy sets: their representation and related structures, Lattices defined by multigranular rough sets, Defining rough sets as core-support pairs of three-valued functions, Involutive right-residuated l-groupoids, Rough sets determined by tolerances, Algebraic Methods for Granular Rough Sets, Three Lessons on the Topological and Algebraic Hidden Core of Rough Set Theory, Algebraic Representation, Dualities and Beyond, Rough Sets - Past, Present and Future: Some Notes

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Some results on intermediate constructive logics
• A geometry of approximation. Rough set theory: logic, algebra and topology of conceptual patterns.
• Representation of Nelson algebras by rough sets determined by quasiorders
• On the unity of logic
• Nelson algebras through Heyting ones. I
• Remarks on special lattices and related constructive logics with strong negation
• Rough sets determined by quasiorders
• The class of Kleene algebras satisfying an interpolation property and Nelson algebras
• A constructivism based on classical truth
• An algebraic approach to non-classical logics
• Notes on \(\eta\)-lattices and constructive logic with strong negation
• Lattices and ordered algebraic structures
• A method of representing rough sets system determined by quasi orders
• Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül
• Lattice Theory for Rough Sets
• Rough sets
• Rough sets and three-valued structures
• On partitioning ordered sets into cofinal subsets
• Constructible falsity