L-guilds and binary L-merotopies.

Khare, Mona; Singh, Rashmi

Displaying similar documents to “L-guilds and binary L-merotopies.”

N-Dimensional Binary Vector Spaces

Kenichi Arai, Hiroyuki Okazaki (2013)

Formalized Mathematics

Similarity:

The binary set {0, 1} together with modulo-2 addition and multiplication is called a binary field, which is denoted by F2. The binary field F2 is defined in [1]. A vector space over F2 is called a binary vector space. The set of all binary vectors of length n forms an n-dimensional vector space Vn over F2. Binary fields and n-dimensional binary vector spaces play an important role in practical computer science, for example, coding theory [15] and cryptology. In cryptology, binary fields...

Morphology for Image Processing. Part I

Hiroshi Yamazaki, Czesław Byliński, Katsumi Wasaki (2012)

Formalized Mathematics

Similarity:

In this article we defined mathematical morphology image processing with set operations. First, we defined Minkowski set operations and proved their properties. Next, we defined basic image processing, dilation and erosion proving basic fact about them [5], [8].

$γ$ -Compactness in $L$ -Topological Spaces

A. M. Zahran, A. Ghareeb, A. H. Zakari (2011)

Kragujevac Journal of Mathematics

Similarity:

On the $L$ -valued categories of $L$ - $E$ -ordered sets

Olga Grigorenko (2012)

Kybernetika

Similarity:

The aim of this paper is to construct an $L$ -valued category whose objects are $L$ - $E$ -ordered sets. To reach the goal, first, we construct a category whose objects are $L$ - $E$ -ordered sets and morphisms are order-preserving mappings (in a fuzzy sense). For the morphisms of the category we define the degree to which each morphism is an order-preserving mapping and as a result we obtain an $L$ -valued category. Further we investigate the properties of this category, namely, we observe some special...

Relational Formal Characterization of Rough Sets

Adam Grabowski (2013)

Formalized Mathematics

Similarity:

The notion of a rough set, developed by Pawlak [10], is an important tool to describe situation of incomplete or partially unknown information. In this article, which is essentially the continuation of [6], we try to give the characterization of approximation operators in terms of ordinary properties of underlying relations (some of them, as serial and mediate relations, were not available in the Mizar Mathematical Library). Here we drop the classical equivalence- and tolerance-based...

On the Order Type L-valued Relations on L-powersets.

I. Uljane (2007)

Mathware and Soft Computing

Similarity:

On extension of the group operation over the Čech-Stone compactification

Jan Jełowicki (1993)

Colloquium Mathematicae

Similarity:

The convolution of ultrafilters of closed subsets of a normal topological group is considered as a substitute of the extension onto ${(β)}^{2}$ of the group operation. We find a subclass of ultrafilters for which this extension is well-defined and give some examples of pathologies. Next, for a given locally compact group and its dense subgroup , we construct subsets of β algebraically isomorphic to . Finally, we check whether the natural mapping from β onto β is a homomorphism with respect to...

Free Quillen factorization systems.

Pultr, Aleš, Tholen, Walter (2002)

Georgian Mathematical Journal

Similarity:

Generated fuzzy implications and fuzzy preference structures

Vladislav Biba, Dana Hliněná (2012)

Kybernetika

Similarity:

The notion of a construction of a fuzzy preference structures is introduced. The properties of a certain class of generated fuzzy implications are studied. The main topic in this paper is investigation of the construction of the monotone generator triplet $(p, i, j)$ , which is the producer of fuzzy preference structures. Some properties of mentioned monotone generator triplet are investigated.