Results 71 to 80 of about 1,626 (175)
The authors define a generalized MV-algebra (GMV-algebra for short) as a residuated lattice satisfying the identities \(x/((x\vee y)\setminus x)=x\vee y=(x/((x\vee y))\setminus x\). A closure operator \(\gamma\) on a residuated lattice \(\mathbf L\) such that \(\gamma(a)\gamma(b)\leqq \gamma(ab)\) for all \(a,b\in L\) is called a nucleus on \(L\); the ...
Galatos, Nikolaos, Tsinakis, Constantine
openaire +2 more sources
Some bounds related to the 2‐adic Littlewood conjecture
Abstract For every irrational real α$\alpha$, let M(α)=supn⩾1an(α)$M(\alpha) = \sup _{n\geqslant 1} a_n(\alpha)$ denote the largest partial quotient in its continued fraction expansion (or ∞$\infty$, if unbounded). The 2‐adic Littlewood conjecture (2LC) can be stated as follows: There exists no irrational α$\alpha$ such that M(2kα)$M(2^k \alpha)$ is ...
Dinis Vitorino, Ingrid Vukusic
wiley +1 more source
Abstract In a recent paper [CHAJDA, I.—KÜHR, J.: A non-associative generalization of MV-algebras, Math. Slovaca 57, (2007), 301–312], authors introduced and studied a non-associative generalization of MV-algebras called NMV-algebras. In contrast to MV-algebras, sections (i.e. principal filters) in NMV-algebras which are proper (i.e.
Halaš, Radomír, Plojhar, Luboš
openaire +2 more sources
ABSTRACT Nonlinear mechanical vibrations under harmonic forcing can be well approximated by Fourier series. For a finite number of harmonics, the error is minimized over one period of vibration. This technique, known as multiharmonic balance method (MHBM), is today widely used in academics as well as industrial applications, e.g., for friction‐damped ...
Sebastian Tatzko +2 more
wiley +1 more source
ABSTRACT Music and language are both hierarchically structured: syllables combine into words, and meters are groupings of musical beats. Statistical learning (SL) supports speech segmentation through computation of transitional probabilities between syllables, and individual differences in SL ability were found predictive of further language ...
Iris van der Wulp +2 more
wiley +1 more source
Relation Between Be-Algebras and G-Hilbert Algebras
Hilbert algebras are important tools for certain investigations in algebraic logic since they can be considered as fragments of any propositional logic containing a logical connective implication and the constant 1 which is considered as the logical ...
Rezaei Akbar, Saeid Arsham Borumand
doaj +1 more source
The aim of this paper is to go deeper into the questions of MV-algebras provided with square roots. Höhle proposed a classification of MV-algebras with square roots, introducing the strict MV-algebras and proving that every MV-algebra with square roots is exactly a Boolean algebra, or a strict algebra, or isomorphic to the product of both. Due to their
openaire +2 more sources
ABSTRACT Task‐based programming interfaces introduce a paradigm in which computations are decomposed into fine‐grained units of work known as “tasks”. StarPU is a runtime system originally developed to support task‐based parallelism on on‐premise heterogeneous architectures by abstracting low‐level hardware details and efficiently managing resource ...
Vanderlei Munhoz +5 more
wiley +1 more source
A New Approach to Near Approximation in Fuzzy Ideals of an MV-Algebras
The rough set concept was originally proposed by Pawlak as a formal tool for modeling incompleteness and imprecision in information systems. Rough set theory is an extension of set theory in which a subset of a universe is described by a pair of sets ...
Jokar Fatemeh, Davvaz Bijan
doaj +1 more source
An algebraic approach to general aggregation theory: Propositional-attitude aggregators as MV-homomorphisms [PDF]
This paper continues Dietrich and List's [2010] work on propositional-attitude aggregation theory, which is a generalised unification of the judgment-aggregation and probabilistic opinion-pooling literatures.
Frederik Herzberg
core

