In this paper we represent an efficient query optimization technique for the multi-valued rough relational database which follows the indiscernibility relation in its domain. This notion is perceived by using an encoding function to convert a multi-valued attribute to a constant single valued attribute. A simple select-querying technique is provided for selecting the tuples of single-valued att...

This paper introduces a new approach to topology, based on category theory and universal algebra, and called categorically-algebraic (catalg) topology. It incorporates the most important settings of lattice-valued topology, including poslat topology of S.~E.~Rodabaugh, $(L,M)$-fuzzy topology of T.~Kubiak and A.~v{S}ostak, and $M$-fuzzy topology on $L$-fuzzy sets of C.~Guido. Moreover, its respe...

We develop a general framework for various lattice-valued, probabilistic and approach uniform convergence spaces. To this end, we use the concept of $s$-stratified $LM$-filter, where $L$ and $M$ are suitable frames. A stratified $LMN$-uniform convergence tower is then a family of structures indexed by a quantale $N$. For different choices of $L,M$ and $N$ we obtain the lattice-valued, probabili...

The Landau-Pollak uncertainty relation treats a pair of rank one projection valued measures and imposes a restriction on their probability distributions. It gives a nontrivial bound for summation of their maximum values. We give a generalization of this bound (weak version of the Landau-Pollak uncertainty relation). Our generalization covers a pair of positive operator valued measures. A nontri...

In this paper, we consider the defect (also called ramification deficiency) of finite extensions of valued fields. For a valued field (K, v), we will denote its value group by vK and its residue field by K or by Kv. An extension of valued fields is written as (L|K, v), meaning that v is a valuation on L and K is equipped with the restriction of this valuation. Every finite extension L of a valu...

Stone-type duality connects logic, algebra, and topology in both conceptual and technical senses. This paper is intended to be a demonstration of this slogan. In this paper we focus on some versions of Fitting’s L-valued logic and L-valued modal logic for a finite distributive lattice L. Using the theory of natural dualities, we first obtain a duality for algebras of L-valued logic. Based on th...

In many practical situation, some of the attribute values for an object may be interval and set-valued. This paper introduces the interval and set-valued information systems and decision systems. According to the semantic relation of attribute values, interval and set-valued information systems can be classified into two categories: disjunctive (Type 1) and conjunctive (Type 2) systems. In this...

This paper shows the best operators for sumof-products expressions. We first describe conditions of functions for product and sum operations. We examine all two-variable functions and select those that meet the conditions and then evaluate the number of product terms needed in the minimum sum-of-products expressions when each combination of selected product and sum functions is used. As a resul...

In this paper, we define irregular interval-valued fuzzy graphs and their various classifications. Size of regular interval-valued fuzzy graphs is derived. The relation between highly and neighbourly irregular interval-valued fuzzy graphs are established. Some basic theorems related to the stated graphs have also been presented.

Two families of many-valued modal logics are investigated. Semantically, one family is characterized using Kripke models that allow formulas to take values in a finite many-valued logic, at each possible world. The second family generalizes this to allow the accessibility relation between worlds also to be many-valued. Gentzen sequent calculi are given for both versions, and soundness and compl...