Information completeness in Nelson algebras of rough sets induced by quasiorders
From MaRDI portal
Publication:383570
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
rough sets; knowledge representation; preorders; Boolean congruence; Glivenko congruence; logics with strong negation; Nelson algebras; quasiorders
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