Let $L$ be a completely regular frame and $mathcal{R}L$ be the ring of continuous real-valued functions on $L$. We study the frame $mathfrak{O}(Min(mathcal{R}L))$ of minimal prime ideals of $mathcal{R}L$ in relation to $beta L$. For $Iinbeta L$, denote by $textit{textbf{O}}^I$ the ideal ${alphainmathcal{R}Lmidcozalphain I}$ of $mathcal{R}L$. We show that sending $I$ to the set of minimal prime ...

Angell’s logic of analytic containment AC has been shown to be characterized by a 9-valued matrix NC Ferguson, and 16-valued Fine. It is that the former image surjective homomorphism from latter, i.e., an epimorphic image. Some candidate 7-valued matrices are ruled out as characteristic AC. Whether with fewer than 9 values exist remains open question. The results were obtained help MUltlog syst...

Effect algebras have been introduced in the 1990s in the study of the foundations of quantum mechanics, as part of a quantum-theoretic version of probability theory. This paper is part of that programme and gives a systematic account of Lebesgue integration for [0, 1]-valued functions in terms of effect algebras and effect modules. The starting point is the ‘indicator’ function for a measurable...

let $l$ be a completely regular frame and $mathcal{r}l$ be the ringof continuous real-valued functions on $l$. we study the frame$mathfrak{o}(min(mathcal{r}l))$ of minimal prime ideals of$mathcal{r}l$ in relation to $beta l$. for $iinbeta l$, denoteby $textit{textbf{o}}^i$ the ideal${alphainmathcal{r}lmidcozalphain i}$ of $mathcal{r}l$. weshow that sending $i$ to the set of minimal prime ideals...

We study methods for transforming valued constraint satisfaction problems (VCSPs) to binary VCSPs. First, we show that the standard dual encoding preserves many aspects of the algebraic properties that capture the computational complexity of VCSPs. Second, we extend the reduction of CSPs to binary CSPs described by Bulín et al. [LMCS’15] to VCSPs. This reduction establishes that VCSPs over a fi...

We introduce the concept of interval-valued fuzzy congruences on a semigroup S and we obtain some important results: First, for any interval-valued fuzzy congruence R on a group G, the interval-valued congruence class Re is an interval-valued fuzzy normal subgroup of G. Second, for any interval-valued fuzzy congruence R on a groupoid S, we show that a binary operation ∗ an S/R is well-defined a...

let $l$ be a completely regular frame and $mathcal{r}l$ be the ‎ring of continuous real-valued functions on $l$‎. ‎we show that the‎ ‎lattice $zid(mathcal{r}l)$ of $z$-ideals of $mathcal{r}l$ is a‎ ‎normal coherent yosida frame‎, ‎which extends the corresponding $c(x)$‎ ‎result of mart'{i}nez and zenk‎. ‎this we do by exhibiting‎ ‎$zid(mathcal{r}l)$ as a quotient of $rad(mathcal{r}l)$‎, ‎the‎ ‎...

We introduce the notion of interval-valued fuzzy bi-ideals with respect to t-norm T ∗ and s-norm S∗ and investigate some of the properties. Also, the homomorphism image and inverse image are investigated. Mathematics Subject Classification: 06F35, 03G25, 03E72

LetA be a finite-dimensional commutative algebra over the complex numbers with nonzero multiplicative identity element e. Let M denote the set of homomorphisms from A onto the complex numbers. Thus we get a homomorphism from A into the algebra of complex-valued functions on M, with respect to pointwise addition and multiplication of functions, by sending an element x of A to the function on M w...

Every continuous map X → S defines, by composition, a homomorphism between the corresponding algebras of real-valued continuous functions C(S) → C(X). This paper deals with algebraic properties of the homomorphism C(S)→ C(X) in relation to topological properties of the map X → S. The main result of the paper states that a continuous map X → S between topological manifolds is a finite (branched)...