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

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)

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

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

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

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

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