Results 21 to 30 of about 19,781 (262)
Logics Preserving Degrees of Truth from Varieties of Residuated Lattices [PDF]
Journal of Logic and Computation, 2008 A wrong argument in the proof of one of the main results in the paper is corrected. The result itself remains true. The right proof incorporates the basic ideas in the originally alleged proof, but in a more restricted construction.
Félix Bou +6 more
semanticscholar +1 more source
The Order of Hypersubstitutions of Type (2,1)
International Journal of Mathematics and Mathematical Sciences, 2011 Hypersubstitutions are mappings which map operation symbols to terms of the corresponding arities. They were introduced as a way of making precise the concept of a hyperidentity and generalizations to 𝑀-hyperidentities.
Tawhat Changphas, Wonlop Hemvong
doaj +1 more source
Structure theorems for idempotent residuated lattices [PDF]
Algebra Universalis, 2020 In this paper we study structural properties of residuated lattices that are idempotent as monoids. We provide descriptions of the totally ordered members of this class and obtain counting theorems for the number of finite algebras in various subclasses.
José Gil-Férez, P. Jipsen, G. Metcalfe
semanticscholar +1 more source
Varieties of unary-determined distributive $\ell$-magmas and bunched implication algebras [PDF]
Logical Methods in Computer ScienceA distributive lattice-ordered magma ($d\ell$-magma) $(A,\wedge,\vee,\cdot)$ is a distributive lattice with a binary operation $\cdot$ that preserves joins in both arguments, and when $\cdot$ is associative then $(A,\vee,\cdot)$ is an idempotent semiring.
Natanael Alpay +2 more
doaj +1 more source
Compact elements in the lattice of varieties [PDF]
Mathematica Bohemica, 2005 Summary: We prove that the lattice of varieties contains almost no compact elements.
Ježek, J., Slavík, V.
openaire +1 more source
International Journal of Mathematics and Mathematical Sciences, 1992 We show that there are varieties of somewhat different loop soliton lattices when we specify an integration path in No Integrability Aesthetic Field Theory. These are illustrated using two dimensional computer maps.
M. Muraskin
doaj +1 more source
On the lattice of varieties of bands of groups [PDF]
Pacific Journal of Mathematics, 1980 1* Introduction* When considered as semigroups with an additional unary operation x —> x~\ where x~ denotes the (unique) inverse of x in the subgroup to which it belongs, the class CR of completely regular semigroups (often called unions of groups) forms a variety of universal algebras, containing as a subvariety thevariety BG of bands of groups (those
Hall, T. E., Jones, P. R.
openaire +3 more sources
The Subquasivariety Lattice of a Discriminator Variety
Advances in Mathematics, 2001 The quaterny discriminator on a set \(M\) is the mapping \(d:M^4\to M\) defined by \(d(x,y,z,w):=z\) if \(x=y\) and \(d(x,y,z,w):=w\) otherwise. A variety is called a discriminator variety if it is generated by a class \({\mathbf K}\) of algebras of the same type such that there exists a term representing the quaternary discriminator on every algebra ...
Blanco, Javier +2 more
openaire +1 more source
Phosphoinositides and inositol phosphates as molecular glues
FEBS Letters, EarlyView.Inositol phosphates (IPs) and phosphoinositides (PIPs) regulate diverse eukaryotic processes. Beyond recruiting signaling proteins or acting as structural cofactors, recent studies suggest they mediate protein–protein interactions as natural molecular glues.
Aleshia Seaton‐Terry +9 more
wiley +1 more source
Advanced Engineering Materials, EarlyView.Geometry‐driven thermal behavior in wire‐arc additive manufacturing (WAAM) influences microstructural evolution during nonequilibrium solidification of a chemically complex Fe–Cr–Nb–W–Mo–C nanocomposite system. By comparing different deposits configurations, distinct entropy–cooling rate correlations, segregation, and carbide evolution are revealed ...
Blanca Palacios +5 more
wiley +1 more source