Results 1 to 10 of about 48,912 (312)
All Linear-Time Congruences for Familiar Operators [PDF]
Logical Methods in Computer Science, 2013 The detailed behaviour of a system is often represented as a labelled transition system (LTS) and the abstract behaviour as a stuttering-insensitive semantic congruence. Numerous congruences have been presented in the literature. On the other hand, there
Antti Valmari
doaj +4 more sources
Congruences and Unitary Congruences in Matrix Theory [PDF]
Journal of Mathematical Sciences, 2023 This article is a survey about congruence and \(*\)-congruence for complex matrices, with no detailed proofs. The author includes a description of a canonical form for \(*\)-congruence and discusses unitary congruence (including a statement of Youla's theorem on the block triangularization for unitary congruence, and Takagi's theorem stating that every
Х. Д. Икрамов
openaire +3 more sources
Fuzzy Set Theory Applied on Autometrized Algebra [version 1; peer review: 2 approved, 1 approved with reservations] [PDF]
F1000ResearchThis paper introduces fuzzy subalgebras of autometrized algebras and studies their properties. Also, we present fuzzy ideals of autometrized algebras and provide examples to illustrate our findings. We examine the homomorphisms of both the images and the
Gebrie Yeshiwas Tilahun
doaj +2 more sources
Removahedral Congruences versus Permutree Congruences [PDF]
The Electronic Journal of Combinatorics, 2021 The associahedron is classically constructed as a removahedron, i.e. by deleting inequalities in the facet description of the permutahedron. This removahedral construction extends to all permutreehedra (which interpolate between the permutahedron, the associahedron and the cube).
Albertin, Doriann +2 more
openaire +4 more sources
Composition series on (Rees) congruences of S-acts. [PDF]
Categories and General Algebraic Structures with Applications, 2023 In this paper, we study composition series of subacts or congruences of S-acts. It is shown that composition series of subacts are exactly those that are both Rees artinian and Rees noetherian, i.e.
Roghaieh Khosravi, Mohammad Roueentan
doaj +1 more source
Teaching Congruences in Connection with Diophantine Equations
Education Sciences, 2021 The presented paper is devoted to the new teaching model of congruences of computer science students within the subject of discrete mathematics at universities.
Ďuriš Viliam +3 more
doaj +1 more source
Ratio Mathematica, 2022 Alan Day’s doubling construction of intervals has been found to affect some properties of the lattice of weak congruences of chains. Here, in this paper, we study how it affects the property of 0-distributivity of the lattice of weak congruences of ...
V Gladys Mano Amirtha, Premalatha D.
doaj +1 more source
A characterization of a ∼ admissible congruence on a weakly type B semigroup
Open Mathematics, 2023 In this article, the notions of ∼ \sim admissible congruences and ∼ \sim normal congruences on a weakly type B semigroup are characterized and the relationship between ∼ \sim admissible congruences and ∼ \sim normal congruences is investigated.
Li Chunhua +3 more
doaj +1 more source
Soft Computing, 2016 For an algebra [Formula: see text] belonging to a quasivariety [Formula: see text], the quotient [Formula: see text] need not belong to [Formula: see text] for every [Formula: see text]. The natural question arises for which [Formula: see text]. We consider algebras [Formula: see text] of type (2, 0) where a partial order relation is determined by the ...
Chajda, Ivan, Länger, Helmut
openaire +3 more sources
Admissible congruences on type B semigroups
Open Mathematics, 2022 The main aim of this article is to study admissible congruences on a type B semigroup. First, we give characterizations of the minimum admissible congruence whose trace is a normal congruence on a type B semigroup.
Li Chunhua +3 more
doaj +1 more source