Results 71 to 80 of about 421,344 (241)
The Reticulation of a Universal Algebra [PDF]
Scientific Annals of Computer Science, 2018 The reticulation of an algebra A is a bounded distributive lattice L(A) whose prime spectrum of filters or ideals is homeomorphic to the prime spectrum of congruences of A, endowed with the Stone topologies.
G. Georgescu, C. Mureșan
doaj +1 more source
High‐Order Sliding‐Mode control for MIMO Systems
International Journal of Robust and Nonlinear Control, EarlyView.ABSTRACT This paper extends Lyapunov‐based homogeneous high‐order sliding‐mode control to a class of uncertain non‐square multi‐input multi‐output (MIMO) nonlinear systems with a well‐defined vector relative degree. The considered systems admit a normal‐form representation with an uncertain but full‐row‐rank input‐gain matrix.
Jaime A. Moreno, Angel Mercado‐Uribe
wiley +1 more source
On annihilators in BL-algebras
Open Mathematics, 2016 In the paper, we introduce the notion of annihilators in BL-algebras and investigate some related properties of them. We get that the ideal lattice (I(L), ⊆) is pseudo-complemented, and for any ideal I, its pseudo-complement is the annihilator I⊥ of I ...
Zou Yu Xi, Xin Xiao Long, Fei He Peng
doaj +1 more source
From Ambition to Authenticity: How Transparent Sustainability Practices Rebuild Stakeholder Trust
Sustainable Development, EarlyView.ABSTRACT Stakeholder trust is central to advancing sustainable development, yet it is increasingly strained as corporate sustainability commitments expand faster than verifiable performance. This study examines how authenticity and transparency in corporate sustainability practices influence the formation and maintenance of stakeholder trust under ...
A. K. M. Mohsin +5 more
wiley +1 more source
Sustainable Development, EarlyView.ABSTRACT Declining natural resources, rising production costs, and diminishing returns from input‐intensive practices threaten the sustainability of smallholder rice systems in Bangladesh. Using a primal system approach and survey data from 1869 rice‐producing households, this study evaluates technical and allocative inefficiency across major agro ...
Limon Deb +3 more
wiley +1 more source
Regular and Boolean elements in hoops and constructing Boolean algebras using regular filters
Analele Stiintifice ale Universitatii Ovidius Constanta: Seria Matematica, 2023 We study hoops in order to give some new characterizations for regular and Boolean elements in hoops and we study the relationship between them. Specially, we prove that any bounded v-hoop is a Stone algebra if and only if MV -center set and Boolean ...
Aaly Kologani M. +2 more
doaj +1 more source
Uniqueness of MV-algebra implication and de Morgan negation [PDF]
, 1995 It is shown that the implication of an MV-algebra is determined by de Morgan negation operations on a family of quotients of the given algebra; these quotients may be taken to be totally ordered.
Priestley, H. A +1 more
core +1 more source
Journal for Eighteenth-Century Studies, EarlyView.Abstract This article analyses to what degree Benjamin Robins's discoveries in his book New Principles of Gunnery, 1742, affected the British mathematical, military, and educational world of the mid‐eighteenth century. While it drew praise and critique from Europe, especially from the notable mathematician Leonhard Euler, his mathematical theories were
Samuel Dodson
wiley +1 more source
Separable MV-algebras and lattice-ordered groups [PDF]
The theory of extensive categories determines in particular the notion of separable MV-algebra (equivalently, of separable unital lattice-ordered Abelian group). We establish the following structure theorem: An MV-algebra is separable if, and only if, it
Menni, Matías, Marra, Vincenzo
core +1 more source
Directoids with sectionally antitone involutions and skew MV-algebras [PDF]
, 2007 summary:It is well-known that every MV-algebra is a distributive lattice with respect to the induced order. Replacing this lattice by the so-called directoid (introduced by J. Ježek and R.
Kolařík, M., Chajda, I.
core +1 more source