Information completeness in Nelson algebras of rough sets induced by quasiorders
From MaRDI portal
Publication:383570
DOI10.1007/S11225-012-9421-ZzbMATH Open1322.68193arXiv1203.2136OpenAlexW3100608543MaRDI QIDQ383570FDOQ383570
Authors: Jouni Järvinen, Piero Pagliani, Sándor Radeleczki 
Publication date: 5 December 2013
Published in: Studia Logica (Search for Journal in Brave)
Abstract: In this paper, we give an algebraic completeness theorem for constructive logic with strong negation in terms of finite rough set-based Nelson algebras determined by quasiorders. We show how for a quasiorder , its rough set-based Nelson algebra can be obtained by applying the well-known construction by Sendlewski. We prove that if the set of all -closed elements, which may be viewed as the set of completely defined objects, is cofinal, then the rough set-based Nelson algebra determined by a quasiorder forms an effective lattice, that is, an algebraic model of the logic , which is characterised by a modal operator grasping the notion of "to be classically valid". We present a necessary and sufficient condition under which a Nelson algebra is isomorphic to a rough set-based effective lattice determined by a quasiorder.
Full work available at URL: https://arxiv.org/abs/1203.2136
Recommendations
- Representation of Nelson algebras by rough sets determined by quasiorders
- Monteiro spaces and rough sets determined by quasiorder relations: models for Nelson algebras
- Publication:4892376
- Two axiomatizations of Nelson algebras.
- On the completion of rough sets system determined by arbitrary binary relations
rough setsknowledge representationpreordersBoolean congruenceGlivenko congruencelogics with strong negationNelson algebrasquasiorders
Knowledge representation (68T30) Logic in artificial intelligence (68T27) Other algebras related to logic (03G25)
Cites Work
- Rough sets
- Title not available (Why is that?)
- Constructible falsity
- Lattices and ordered algebraic structures
- Lattice Theory for Rough Sets
- The class of Kleene algebras satisfying an interpolation property and Nelson algebras
- An algebraic approach to non-classical logics
- Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül
- Title not available (Why is that?)
- Nelson algebras through Heyting ones. I
- Some results on intermediate constructive logics
- A geometry of approximation. Rough set theory: logic, algebra and topology of conceptual patterns.
- Notes on \(\eta\)-lattices and constructive logic with strong negation
- On the unity of logic
- Rough sets determined by quasiorders
- A constructivism based on classical truth
- A method of representing rough sets system determined by quasi orders
- Rough sets and three-valued structures
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- On partitioning ordered sets into cofinal subsets
- Representation of Nelson algebras by rough sets determined by quasiorders
- Remarks on special lattices and related constructive logics with strong negation
Cited In (17)
- Lattices defined by multigranular rough sets
- Defining rough sets as core-support pairs of three-valued functions
- Rough Sets - Past, Present and Future: Some Notes
- Rough sets determined by tolerances
- Algebraic methods for granular rough sets
- Pseudo-Kleene algebras determined by rough sets
- On the completion of rough sets system determined by arbitrary binary relations
- Rough \(L\)-fuzzy sets: their representation and related structures
- Crypto-preorders, topological relations, information and logic
- Granular knowledge and rational approximation in general rough sets – I
- Nelson algebras, residuated lattices and rough sets: A survey
- Involutive right-residuated l-groupoids
- Algebraic representation, dualities and beyond
- Three lessons on the topological and algebraic hidden core of rough set theory
- Representation of Nelson algebras by rough sets determined by quasiorders
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
- Monteiro spaces and rough sets determined by quasiorder relations: models for Nelson algebras
This page was built for publication: Information completeness in Nelson algebras of rough sets induced by quasiorders
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q383570)
