BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Sándor Radeleczki contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
The main results of the paper points out the connection between the weak ordered relations and factor lattices defined by tolerances. It is proved that for any tolerance $T$ of a lattice $L$ the Dedekind-Mac Neille completion of $L/T$ is isomorphic to the concept lattice $\mathcal{L}(L,L,R)$ of the context $(L,L,R)$, where $R:=\ \leq \circ T\circ \leq $.
Since the theory of rough sets was introduced by Zdzislaw Pawlak, several approaches have been proposed to combine rough set theory with fuzzy set theory. In this paper, we examine one of these approaches, namely fuzzy rough sets with crisp reference sets, from a lattice-theoretic point of view. We connect the lower and upper approximations of a fuzzy relation $R$ to the approximations of the core and support of $R$. We also show that the lattice of fuzzy rough sets corresponding to a fuzzy equivalence relation $R$ and the crisp subsets of its universe is isomorphic to the lattice of rough sets for the (crisp) equivalence relation $E$, where $E$ is the core of $R$. We establish a connection between the exact (fuzzy) sets of $R$ and the exact (crisp) sets of the support of $R$.
We study multigranulation spaces of two equivalences. The lattice-theoretical properties of so-called "optimistic" and "pessimistic" multigranular approximation systems are given. We also consider the ordered sets of rough sets determined by these approximation pairs.
In this paper, we consider tolerances induced by irredundant coverings. Each tolerance $R$ on $U$ determines a quasiorder $\lesssim_R$ by setting $x \lesssim_R y$ if and only if $R(x) \subseteq R(y)$. We prove that for a tolerance $R$ induced by a covering $\mathcal{H}$ of $U$, the covering $\mathcal{H}$ is irredundant if and only if the quasiordered set $(U, \lesssim_R)$ is bounded by minimal elements and the tolerance $R$ coincides with the product ${\gtrsim_R} \circ {\lesssim_R}$. We also show that in such a case $\mathcal{H} = \{ {\uparrow}m \mid \text{$m$ is minimal in $(U,\lesssim_R)$} \}$, and for each minimal $m$, we have $R(m) = {\uparrow} m$. Additionally, this irredundant covering $\mathcal{H}$ inducing $R$ consists of some blocks of the tolerance $R$. We give necessary and sufficient conditions under which $\mathcal{H}$ and the set of $R$-blocks coincide. These results are established by applying the notion of Helly numbers of quasiordered sets.
Rough sets induced by quasiorders appear in several constructions using binary relations in computer science. In this paper, a structural characterisation of rough sets induced by quasiorders is given. These rough sets form Nelson algebras defined on algebraic lattices. We prove that any Nelson algebra can be represented as a subalgebra of an algebra defined on rough sets induced by a suitable quasiorder. We also show that Monteiro spaces, rough sets induced by quasiorders and Nelson algebras defined on $\rm T_0$-spaces that are Alexandrov topologies can be considered as equivalent structures, because they determine each other up to isomorphism.
The notion of an island defined on a rectangular board is an elementary combinatorial concept that occurred first in [G. Czédli, The number of rectangular islands by means of distributive lattices, European J. Combin. 30 (2009), 208-215]. Results of this paper were starting points for investigations exploring several variations and various aspects of this notion. In this paper we introduce a general framework for islands that subsumes all earlier studied concepts of islands on finite boards, moreover we show that the prime implicants of a Boolean function, the formal concepts of a formal context, convex subgraphs of a simple graph, and some particular subsets of a projective plane also fit into this framework. We axiomatize those cases where islands have the comparable or disjoint property, or they are distant, introducing the notion of a connective island domain and of a proximity domain, respectively. In the general case the maximal systems of islands are characterised by using the concept of an admissible system. We also characterise all possible island systems in the case of island domains and proximity domains.
We show that for any tolerance $R$ on $U$, the ordered sets of lower and upper rough approximations determined by $R$ form ortholattices. These ortholattices are completely distributive, thus forming atomistic Boolean lattices, if and only if $R$ is induced by an irredundant covering of $U$, and in such a case, the atoms of these Boolean lattices are described. We prove that the ordered set $\mathit{RS}$ of rough sets determined by a tolerance $R$ on $U$ is a complete lattice if and only if it is a complete subdirect product of the complete lattices of lower and upper rough approximations. We show that $R$ is a tolerance induced by an irredundant covering of $U$ if and only if $\mathit{RS}$ is an algebraic completely distributive lattice, and in such a situation a quasi-Nelson algebra can be defined on $\mathit{RS}$. We present necessary and sufficient conditions which guarantee that for a tolerance $R$ on $U$, the ordered set $\mathit{RS}_X$ is a lattice for all $X \subseteq U$, where $R_X$ denotes the restriction of $R$ to the set $X$ and $\mathit{RS}_X$ is the corresponding set of rough sets. We introduce the disjoint representation and the formal concept representation of rough sets, and show that they are Dedekind--MacNeille completions of $\mathit{RS}$.
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 $R$, 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 $R$-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 $E_0$, 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.
In this paper, we show that every quasiorder $R$ induces a Nelson algebra $\mathbb{RS}$ such that the underlying rough set lattice $RS$ is algebraic. We note that $\mathbb{RS}$ is a three-valued Łukasiewicz algebra if and only if $R$ is an equivalence. Our main result says that if $\mathbb{A}$ is a Nelson algebra defined on an algebraic lattice, then there exists a set $U$ and a quasiorder $R$ on $U$ such that $\mathbb{A} \cong \mathbb{RS}$.
In this paper, the ordered set of rough sets determined by a quasiorder relation $R$ is investigated. We prove that this ordered set is a complete, completely distributive lattice. We show that on this lattice can be defined three different kinds of complementation operations, and we describe its completely join-irreducible elements. We also characterize the case in which this lattice is a Stone lattice. Our results generalize some results of J. Pomykala and J. A. Pomykala (1988) and M. Gehrke and E. Walker (1992) in case $R$ is an equivalence.