Showing 1–24 of 24 results for author: Radeleczki, S

The structure of rough sets defined by reflexive relations

Authors: Jouni Järvinen, Sándor Radeleczki

Abstract: For several types of information relations, the induced rough sets system RS does not form a lattice but only a partially ordered set. However, by studying its Dedekind-MacNeille completion DM(RS), one may reveal new important properties of rough set structures. Building upon D. Umadevi's work on describing joins and meets in DM(RS), we previously investigated pseudo-Kleene algebras defined on DM(… ▽ More For several types of information relations, the induced rough sets system RS does not form a lattice but only a partially ordered set. However, by studying its Dedekind-MacNeille completion DM(RS), one may reveal new important properties of rough set structures. Building upon D. Umadevi's work on describing joins and meets in DM(RS), we previously investigated pseudo-Kleene algebras defined on DM(RS) for reflexive relations. This paper delves deeper into the order-theoretic properties of DM(RS) in the context of reflexive relations. We describe the completely join-irreducible elements of DM(RS) and characterize when DM(RS) is a spatial completely distributive lattice. We show that even in the case of a non-transitive reflexive relation, DM(RS) can form a Nelson algebra, a property generally associated with quasiorders. We introduce a novel concept, the core of a relational neighborhood, and use it to provide a necessary and sufficient condition for DM(RS) to determine a Nelson algebra. △ Less

Submitted 26 March, 2025; v1 submitted 14 December, 2024; originally announced December 2024.

MSC Class: 68T37; 06B23 (Primary) 06D30; 03E20 (Secondary)

Journal ref: International Journal of Approximate Reasoning 185 (2025) Article ID 109471

Nelson algebras, residuated lattices and rough sets: A survey

Authors: Jouni Järvinen, Sándor Radeleczki, Umberto Rivieccio

Abstract: Over the past 50 years, Nelson algebras have been extensively studied by distinguished scholars as the algebraic counterpart of Nelson's constructive logic with strong negation. Despite these studies, a comprehensive survey of the topic is currently lacking, and the theory of Nelson algebras remains largely unknown to most logicians. This paper aims to fill this gap by focussing on the essential d… ▽ More Over the past 50 years, Nelson algebras have been extensively studied by distinguished scholars as the algebraic counterpart of Nelson's constructive logic with strong negation. Despite these studies, a comprehensive survey of the topic is currently lacking, and the theory of Nelson algebras remains largely unknown to most logicians. This paper aims to fill this gap by focussing on the essential developments in the field over the past two decades. Additionally, we explore generalisations of Nelson algebras, such as N4-lattices which correspond to the paraconsistent version of Nelson's logic, as well as their applications to other areas of interest to logicians, such as duality and rough set theory. A general representation theorem states that each Nelson algebra is isomorphic to a subalgebra of a rough set-based Nelson algebra induced by a quasiorder. Furthermore, a formula is a theorem of Nelson logic if and only if it is valid in every finite Nelson algebra induced by a quasiorder. △ Less

Submitted 2 March, 2024; v1 submitted 4 February, 2024; originally announced February 2024.

Comments: Accepted for publication in Journal of Applied Non-Classical Logics. In this version of the manuscript, certain typographical errors have been rectified

Journal ref: Journal of Applied Non-Classical Logics (2024)

On the lattice of fuzzy rough sets

Authors: Dávid Gégény, Sándor Radeleczki

Abstract: By the means of lower and upper fuzzy approximations we define quasiorders. Their properties are used to prove our main results. First, we characterize those pairs of fuzzy sets which form fuzzy rough sets w.r.t. a t-similarity relation $θ$ on $U$, for certain t-norms and implicators. Then we establish conditions under which fuzzy rough sets form lattices. We show that for the $\min$ t-norm and an… ▽ More By the means of lower and upper fuzzy approximations we define quasiorders. Their properties are used to prove our main results. First, we characterize those pairs of fuzzy sets which form fuzzy rough sets w.r.t. a t-similarity relation $θ$ on $U$, for certain t-norms and implicators. Then we establish conditions under which fuzzy rough sets form lattices. We show that for the $\min$ t-norm and any S-implicator defined by the $\max$ co-norm with an involutive negator, the fuzzy rough sets form a complete lattice, whenever $U$ is finite or the range of $θ$ and of the fuzzy sets is a fixed finite chain. △ Less

Submitted 8 September, 2023; originally announced September 2023.

Generalized Quasiorders and the Galois Connection End-gQuord

Authors: Danica Jakubíková-Studenovská, Reinhard Pöschel, Sándor Radeleczki

Abstract: Equivalence relations or, more general, quasiorders (i.e., reflexive and transitive binary relations) $ρ$ have the property that an $n$-ary operation $f$ preserves $ρ$, i.e., $f$ is a polymorphism of $ρ$, if and only if each translation (i.e., unary polynomial function obtained from $f$ by substituting constants) preserves $ρ$, i.e., it is an endomorphism of $ρ$. We introduce a wider class of rela… ▽ More Equivalence relations or, more general, quasiorders (i.e., reflexive and transitive binary relations) $ρ$ have the property that an $n$-ary operation $f$ preserves $ρ$, i.e., $f$ is a polymorphism of $ρ$, if and only if each translation (i.e., unary polynomial function obtained from $f$ by substituting constants) preserves $ρ$, i.e., it is an endomorphism of $ρ$. We introduce a wider class of relations -- called generalized quasiorders -- of arbitrary arities with the same property. With these generalized quasiorders we can characterize all algebras whose clone of term operations is determined by its translations by the above property, what generalizes affine complete algebras. The results are based on the characterization of so-called u-closed monoids (i.e., the unary parts of clones with the above property) as Galois closures of the Galois connection End-gQuord, i.e., as endomorphism monoids of generalized quasiorders. The minimal u-closed monoids are described explicitly. △ Less

Submitted 4 July, 2023; originally announced July 2023.

MSC Class: 08A; 06A15

Pseudo-Kleene algebras determined by rough sets

Authors: Jouni Järvinen, Sándor Radeleczki

Abstract: We study the pseudo-Kleene algebras of the Dedekind-MacNeille completion of the ordered set of rough set determined by a reflexive relation. We characterize the cases when PBZ and PBZ*-lattices can be defined on these pseudo-Kleene algebras. We study the pseudo-Kleene algebras of the Dedekind-MacNeille completion of the ordered set of rough set determined by a reflexive relation. We characterize the cases when PBZ and PBZ*-lattices can be defined on these pseudo-Kleene algebras. △ Less

Submitted 24 July, 2023; v1 submitted 12 April, 2023; originally announced April 2023.

Comments: 24 pages, minor update to the initial version

Defining rough sets as core-support pairs of three-valued functions

Authors: Jouni Järvinen, Sándor Radeleczki

Abstract: We answer the question what properties a collection $\mathcal{F}$ of three-valued functions on a set $U$ must fulfill so that there exists a quasiorder $\leq$ on $U$ such that the rough sets determined by $\leq$ coincide with the core--support pairs of the functions in $\mathcal{F}$. Applying this characterization, we give a new representation of rough sets determined by equivalences in terms of t… ▽ More We answer the question what properties a collection $\mathcal{F}$ of three-valued functions on a set $U$ must fulfill so that there exists a quasiorder $\leq$ on $U$ such that the rough sets determined by $\leq$ coincide with the core--support pairs of the functions in $\mathcal{F}$. Applying this characterization, we give a new representation of rough sets determined by equivalences in terms of three-valued Łukasiewicz algebras of three-valued functions. △ Less

Submitted 12 May, 2021; v1 submitted 6 November, 2020; originally announced November 2020.

Comments: This version is accepted for publication in Approximate Reasoning (May 2021)

Journal ref: International Journal of Approximate Reasoning 135 (2021) 71-90

Algebraic Approach to Directed Rough Sets

Authors: Mani A, Sandor Radeleczki

Abstract: In relational approach to general rough sets, ideas of directed relations are supplemented with additional conditions for multiple algebraic approaches in this research paper. The relations are also specialized to representations of general parthood that are upper-directed, reflexive and antisymmetric for a better behaved groupoidal semantics over the set of roughly equivalent objects by the first… ▽ More In relational approach to general rough sets, ideas of directed relations are supplemented with additional conditions for multiple algebraic approaches in this research paper. The relations are also specialized to representations of general parthood that are upper-directed, reflexive and antisymmetric for a better behaved groupoidal semantics over the set of roughly equivalent objects by the first author. Another distinct algebraic semantics over the set of approximations, and a new knowledge interpretation are also invented in this research by her. Because of minimal conditions imposed on the relations, neighborhood granulations are used in the construction of all approximations (granular and pointwise). Necessary and sufficient conditions for the lattice of local upper approximations to be completely distributive are proved by the second author. These results are related to formal concept analysis. Applications to student centered learning and decision making are also outlined. △ Less

Submitted 25 April, 2020; originally announced April 2020.

Comments: 37 pages, Forthcoming

MSC Class: 08A70; 08A55; 08A99; 06A75; 06D10

Notes on the lattice of fuzzy rough sets with crisp reference sets

Authors: Dávid Gégény, László Kovács, Sándor Radeleczki

Abstract: 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… ▽ More 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$. △ Less

Submitted 31 July, 2020; v1 submitted 27 February, 2020; originally announced February 2020.

MSC Class: 94D05; 68T37; 06B15

The structure of multigranular rough sets

Authors: Jouni Järvinen, Sándor Radeleczki

Abstract: 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. 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. △ Less

Submitted 30 May, 2020; v1 submitted 12 February, 2020; originally announced February 2020.

Comments: Keywords: equivalence relation, multigranular approximation, definable set, rough set, coherence, tolerance relation, irredundant covering, atomistic Boolean lattice, completely distributive lattice, Dedekind-MacNeille completion

Journal ref: Fundamenta Informaticae, vol. 176, no. 1, pp. 17-41, 2020

G. Czédli's tolerance factor lattice construction, and weak ordered relations

Authors: Sándor Radeleczki

Abstract: 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 $. 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 $. △ Less

Submitted 16 January, 2020; v1 submitted 13 September, 2019; originally announced September 2019.

Comments: 9 pages

MSC Class: Primary: 06B23; 06B15; Secondary: 06A15; 06B05

Defining rough sets using tolerances compatible with an equivalence

Authors: Jouni Järvinen, László Kovács, Sándor Radeleczki

Abstract: We consider tolerances $T$ compatible with an equivalence $E$ on $U$, meaning that the relational product $E \circ T$ is included in $T$. We present the essential properties of $E$-compatible tolerances and study rough approximations defined by such $E$ and $T$. We consider rough set pairs $(X_E,X^T)$, where the lower approximation $X_E$ is defined as is customary in rough set theory, but $X^T$ al… ▽ More We consider tolerances $T$ compatible with an equivalence $E$ on $U$, meaning that the relational product $E \circ T$ is included in $T$. We present the essential properties of $E$-compatible tolerances and study rough approximations defined by such $E$ and $T$. We consider rough set pairs $(X_E,X^T)$, where the lower approximation $X_E$ is defined as is customary in rough set theory, but $X^T$ allows more elements to be possibly in $X$ than $X^E$. Motivating examples of $E$-compatible tolerances are given, and the essential lattice-theoretical properties of the ordered set of rough sets $\{ (X_E,X^T) \mid X \subseteq U\}$ are established. △ Less

Submitted 14 May, 2019; v1 submitted 21 November, 2018; originally announced November 2018.

Comments: In press, accepted manuscript

MSC Class: 03E20 (Primary) 68T37; 06B23 (Secondary)

Journal ref: Information Sciences 496 (2019) 264-283

Involutive right-residuated l-groupoids

Authors: Ivan Chajda, Sandor Radeleczki

Abstract: A common generalization of orthomodular lattices and residuated lattices is provided corresponding to bounded lattices with an involution and sectionally extensive mappings. It turns out that such a generalization can be based on integral right-residuated l-groupoids. This general framework is applied to MV-algebras,orthomodular lattices, Nelson algebras, basic algebras and Heyting algebras. A common generalization of orthomodular lattices and residuated lattices is provided corresponding to bounded lattices with an involution and sectionally extensive mappings. It turns out that such a generalization can be based on integral right-residuated l-groupoids. This general framework is applied to MV-algebras,orthomodular lattices, Nelson algebras, basic algebras and Heyting algebras. △ Less

Submitted 22 October, 2018; originally announced October 2018.

Comments: 22 pages

MSC Class: Primary 08B05 and 03G25; Secondary 06B05 and 06D15

Journal ref: I. Chajda, S. Radeleczki, Involutive right-residuated l-groupoids, Soft Computing 20 (2015), 119-131

Prime filter structures of pseudocomplemented Kleene algebras and representation by rough sets

Authors: Jouni Järvinen, Sándor Radeleczki

Abstract: We introduce Kleene-Varlet spaces as partially ordered sets equipped with a polarity satisfying certain additional conditions. By applying Kleene-Varlet spaces, we prove that each regular pseudocomplemented Kleene algebra is isomorphic to a subalgebra of the rough set regular pseudocomplemented Kleene algebra defined by a tolerance induced by an irredundant covering. We also characterize the Kleen… ▽ More We introduce Kleene-Varlet spaces as partially ordered sets equipped with a polarity satisfying certain additional conditions. By applying Kleene-Varlet spaces, we prove that each regular pseudocomplemented Kleene algebra is isomorphic to a subalgebra of the rough set regular pseudocomplemented Kleene algebra defined by a tolerance induced by an irredundant covering. We also characterize the Kleene-Varlet spaces corresponding to the regular pseudocomplemented Kleene algebras satisfying the Stone identity. △ Less

Submitted 12 May, 2019; v1 submitted 24 June, 2018; originally announced June 2018.

Comments: The title of the work has changed from the first version. Section 5 is largely rewritten. New references are also added

MSC Class: Primary 06B15; Secondary 06D15; 06D30; 68T37

Journal ref: Acta Mathematica Hungarica (online 4 September 2019)

The meet operation in the imbalance lattice of maximal instantaneous codes: alternative proof of existence

Authors: Stephan Foldes, D. Stott Parker, Sandor Radeleczki

Abstract: An alternative proof is given of the existence of greatest lower bounds in the imbalance order of binary maximal instantaneous codes of a given size. These codes are viewed as maximal antichains of a given size in the infinite binary tree of 0-1 words. The proof proposed makes use of a single balancing operation instead of expansion and contraction as in the original proof of the existence of glb. An alternative proof is given of the existence of greatest lower bounds in the imbalance order of binary maximal instantaneous codes of a given size. These codes are viewed as maximal antichains of a given size in the infinite binary tree of 0-1 words. The proof proposed makes use of a single balancing operation instead of expansion and contraction as in the original proof of the existence of glb. △ Less

Submitted 6 October, 2017; v1 submitted 21 February, 2017; originally announced February 2017.

MSC Class: 06A07; 94A45

The lattice of congruence lattices of algebras on a finite set

Authors: Danica Jakubíková-Studenovská, Reinhard Pöschel, Sándor Radeleczki

Abstract: The congruence lattices of all algebras defined on a fixed finite set $A$ ordered by inclusion form a finite atomistic lattice $\mathcal E$. We describe the atoms and coatoms. Each meet-irreducible element of $\mathcal E$ being determined by a single unary mapping on $A$, we characterize completely those which are determined by a permutation or by an acyclic mapping on the set $A$. Using these cha… ▽ More The congruence lattices of all algebras defined on a fixed finite set $A$ ordered by inclusion form a finite atomistic lattice $\mathcal E$. We describe the atoms and coatoms. Each meet-irreducible element of $\mathcal E$ being determined by a single unary mapping on $A$, we characterize completely those which are determined by a permutation or by an acyclic mapping on the set $A$. Using these characterizations we deduce several properties of the lattice $\mathcal E$; in particular, we prove that $\mathcal E$ is tolerance-simple whenever $|A|\geq 4$. △ Less

Submitted 23 February, 2017; v1 submitted 21 December, 2016; originally announced December 2016.

Comments: 22 pages, 8 figures, some typos corrected, minor changes for better presentation, Remark 7.8 added

MSC Class: Primary: 08A30; 06B15; Secondary: 08A60; 06A15; 08A35; 08A99; 20M20

Representing regular pseudocomplemented Kleene algebras by tolerance-based rough sets

Authors: Jouni Järvinen, Sándor Radeleczki

Abstract: We show that any regular pseudocomplemented Kleene algebra defined on an algebraic lattice is isomorphic to a rough set Kleene algebra determined by a tolerance induced by an irredundant covering. We show that any regular pseudocomplemented Kleene algebra defined on an algebraic lattice is isomorphic to a rough set Kleene algebra determined by a tolerance induced by an irredundant covering. △ Less

Submitted 11 June, 2017; v1 submitted 31 October, 2016; originally announced October 2016.

Comments: Title modified from the first version. Repaired one proof. Changes in terminology

MSC Class: Primary: 06B15; Secondary: 06D15; 06D30; 68T37; 06D20

Journal ref: Journal of the Australian Mathematical Society 105, 57-78 (2018)

Tolerances induced by irredundant coverings

Authors: Jouni Järvinen, Sándor Radeleczki

Abstract: 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 ele… ▽ More 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. △ Less

Submitted 1 February, 2015; v1 submitted 21 April, 2014; originally announced April 2014.

Comments: 12 pages, 2 figures

MSC Class: 03E20; 05C69 (Primary); 68T37; 06B23 (Secondary)

Journal ref: Fundamenta Informaticae 137 (2015) 341-353

Monteiro spaces and rough sets determined by quasiorder relations: Models for Nelson algebras

Authors: Jouni Järvinen, Sándor Radeleczki

Abstract: 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 qua… ▽ More 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. △ Less

Submitted 10 February, 2014; v1 submitted 31 December, 2013; originally announced January 2014.

Comments: 10 pages, 1 figure; an example added

MSC Class: 06B15 (Primary); 06D30; 08A05; 68T37; 06D10 (Secondary)

Journal ref: Fundamenta Informaticae 131 (2014) 205-215

Interval decomposition lattices are balanced

Authors: S. Foldes, S. Radeleczki

Abstract: Intervals in binary or n-ary relations or other discrete structures generalize the concept of interval in a linearly ordered set. Join-irreducible partitions into intervals are characterized in the lattice of all interval decompositions of a set, in a general sense of intervals defined axiomatically. This characterization is used to show that the lattice of interval decompositions is balanced. Intervals in binary or n-ary relations or other discrete structures generalize the concept of interval in a linearly ordered set. Join-irreducible partitions into intervals are characterized in the lattice of all interval decompositions of a set, in a general sense of intervals defined axiomatically. This characterization is used to show that the lattice of interval decompositions is balanced. △ Less

Submitted 26 June, 2013; v1 submitted 23 June, 2013; originally announced June 2013.

MSC Class: 06

Journal ref: Demonstratio Mathematica, Volume 49 (2016) Issue 3, Pages 271-281

Rough sets determined by tolerances

Authors: Jouni Järvinen, Sándor Radeleczki

Abstract: 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… ▽ More 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}$. △ Less

Submitted 12 December, 2013; v1 submitted 25 March, 2013; originally announced March 2013.

Comments: Revised version (28 pages, 1 figure)

MSC Class: 06B23

Journal ref: International Journal of Approximate Reasoning 55 (2014) 1419-1438

A general framework for island systems

Authors: Stephan Foldes, Eszter K. Horváth, Sándor Radeleczki, Tamás Waldhauser

Abstract: 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 gener… ▽ More 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. △ Less

Submitted 21 May, 2013; v1 submitted 5 October, 2012; originally announced October 2012.

Comments: 17 pages, 3 figures; minor corrections

Journal ref: Acta Sci. Math. (Szeged) 81 (2015) 3--24

Information completeness in Nelson algebras of rough sets induced by quasiorders

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

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 $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 s… ▽ More 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. △ Less

Submitted 9 March, 2012; originally announced March 2012.

Comments: 15 pages

Journal ref: Studia Logica 101 (2013) 1073-1092

Representation of Nelson Algebras by Rough Sets Determined by Quasiorders

Authors: Jouni Järvinen, Sándor Radeleczki

Abstract: 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… ▽ More 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}$. △ Less

Submitted 19 February, 2011; v1 submitted 7 July, 2010; originally announced July 2010.

Comments: 16 pages

MSC Class: 06B15 (Primary); 06D30; 08A05; 68T37; 06D10 (Secondary)

Journal ref: Algebra Universalis 66 (2011) 163-179

Rough Sets Determined by Quasiorders

Authors: Jouni Järvinen, Sándor Radeleczki, Laura Veres

Abstract: 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… ▽ More 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. △ Less

Submitted 16 June, 2009; v1 submitted 3 October, 2008; originally announced October 2008.

Comments: 18 pages, major revision

MSC Class: 06A06 (Primary); 06D10; 06D15; 68T37 (Secondary)

Journal ref: Order 26 (2009) 337-355