Results 1 to 10 of about 6,775 (103)
Hesitant Fuzzy Subalgebras, Ideals and Congruences on Autometrized Algebras [version 2; peer review: 2 approved, 1 approved with reservations] [PDF]
F1000ResearchThis paper introduces the study of hesitant fuzzy subalgebras of autometrized algebras, obtains some of their properties, and gives some examples. Next, we introduce the concept of the hesitant fuzzy ideal and examine some of its properties.
Gebrie Yeshiwas Tilahun
doaj +3 more sources
Extended BCK-Ideal Based on Single-Valued Neutrosophic Hyper BCK-Ideals
Bulletin of the Section of Logic, 2023 This paper introduces the concept of single-valued neutrosophic hyper \(BCK\)-subalgebras as a generalization and alternative of hyper \(BCK\)-algebras and on any given nonempty set constructs at least one single-valued neutrosophic hyper \(BCK ...
Mohammad Hamidi
doaj +2 more sources
Commutative subalgebras from Serre relations [PDF]
Physics Letters B, 2023 We demonstrate that commutativity of numerous one-dimensional subalgebras in $W_{1+\infty}$ algebra, i.e. the existence of many non-trivial integrable systems described in recent arXiv:2303.05273 follows from the subset of relations in algebra known as ...
A. Mironov +3 more
semanticscholar +1 more source
Congruence relations for r-colored partitions [PDF]
Journal of Number Theory, 2022 Let $\ell \geq 5$ be prime. For the partition function $p(n)$ and $5 \leq \ell \leq 31$, Atkin found a number of examples of primes $Q \geq 5$ such that there exist congruences of the form $p(\ell Q^{3} n+\beta) \equiv 0 \pmod{\ell}.$ Recently, Ahlgren ...
Robert Dicks
semanticscholar +1 more source
Congruence Relations for Büchi Automata [PDF]
World Congress on Formal Methods, 2021 We revisit here congruence relations for B\"uchi automata, which play a central role in the automata-based verification. The size of the classical congruence relation is in $3^{\mathcal{O}(n^2)}$, where $n$ is the number of states of a given B\"uchi ...
Yong Li, Yih-Kuen Tsay, M. Vardi
semanticscholar +1 more source
Defining relations of quantum symmetric pair coideal subalgebras [PDF]
Forum of Mathematics, Sigma, 2021 We explicitly determine the defining relations of all quantum symmetric pair coideal subalgebras of quantised enveloping algebras of Kac–Moody type. Our methods are based on star products on noncommutative ${\mathbb N}$-graded algebras.
S. Kolb, M. Yakimov
semanticscholar +1 more source
Scalable monoids and quantity calculus
Semigroup Forum, 2023 We define scalable monoids and prove their fundamental properties. Congruence relations on scalable monoids, direct and tensor products, subalgebras and homomorphic images of scalable monoids, and unit elements of scalable monoids are defined and ...
D. Jónsson
semanticscholar +1 more source
The Complexity of Reasoning about Spatial Congruence [PDF]
Journal of Artificial Intelligence Research, 1999 In the recent literature of Artificial Intelligence, an intensive research effort has been spent, for various algebras of qualitative relations used in the representation of temporal and spatial knowledge, on the problem of classifying the computational ...
M. Cristani
semanticscholar +1 more source
On tractability and congruence distributivity [PDF]
, 2007 Constraint languages that arise from finite algebras have recently been the object of study, especially in connection with the Dichotomy Conjecture of Feder and Vardi.
Emil Kiss, Matt Valeriote, Neil Immerman
core +4 more sources
Absorbing Subalgebras, Cyclic Terms, and the Constraint Satisfaction Problem [PDF]
, 2012 The Algebraic Dichotomy Conjecture states that the Constraint Satisfaction Problem over a fixed template is solvable in polynomial time if the algebra of polymorphisms associated to the template lies in a Taylor variety, and is NP-complete otherwise ...
Anca Muscholl +8 more
core +4 more sources