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‎ ‎...

In this paper a particular case of z-ideals, called strongly z-ideal, is defined by introducing zero sets in pointfree topology. We study strongly z-ideals, their relation with z-ideals and the role of spatiality in this relation. For strongly z-ideals, we analyze prime ideals using the concept of zero sets. Moreover, it is proven that the intersection of all zero sets of a prime ideal of C(L),...

Sensing actions are important for planning with incomplete information. A solution for the frame problem for sensing actions was proposed by Scherl and Levesque. They adapt the possible world model of knowledge to situation calculus. In this paper we propose a high level language in the spirit of the language A, that allows sensing actions. We then present two approximation semantics of this la...

Kleene’s strong three-valued logic extends naturally to a four-valued logic proposed by Belnap. We introduce a guard connective into Belnap’s logic and consider a few of its properties. Then we show that by using it four-valued analogs of Kleene’s weak three-valued logic, and the asymmetric logic of Lisp are also available. We propose an extension of these ideas to the family of distributive bi...

We review the main difficulties and advantages in developing CMOS ternary circuits. In addition to employing multiple power sources and multiple thresholds, we describe a new theory of transmission functions for designing CMOS ternary logic circuits. It can explain the main CMOS ternary circuits proposed previously. Computer simulations show that the circuits based on the transmission-function ...

In this paper, some properties of the monotone set-valued function defined by the set-valued Choquet integral are discussed. It is shown that several important structural characteristics of the original set function, such as null-additivity, strong order continuity, property(S) and pseudometric generating property, etc., are preserved by the new set-valued function. It is also shown that integr...

We provide an extension of the notion of chain-valued frame introduced by Pultr and Rodabaugh in [Category theoretic aspects of chain-valued frames: parts I and II, Fuzzy Sets and Systems 159 (2008) 501–528 and 529–558] by relaxing the assumption that L be a complete chain. As a result of this investigation we formulate the category L-Frm of L-frames under the weaker assumption that L is a comp...

We introduced the continuous and discrete $p$-adic shearlet systems. We restrict ourselves to a brief description of the $p$-adic theory and shearlets in real case. Using the group $G_p$ consist of all $p$-adic numbers that all of its elements have a square root, we defined the continuous $p$-adic shearlet system associated with $L^2left(Q_p^{2}right)$. The discrete $p$-adic shearlet frames for...

Multi-valued partial CFL functions are computed by one-way nondeterministic pushdown automata equipped with write-only output tapes. We give an answer to a fundamental question, raised by Konstantinidis, Santean, and Yu [Act. Inform. 43 (2007) 395–417], of whether all multi-valued partial CFL functions can be refined by single-valued partial CFL functions. We negatively solve this question by p...

A Qk(R ) -valued function is essentially a rule assigning k unordered and non necessarily distinct elements of R to each element of its domain set A ⊆ R . For a Qk(R) valued function f we construct a decomposition into k branches that naturally inherit the regularity properties of f . Next we prove that a measurable Qk(R ) -valued function admits a decomposition into k measurable branches. An e...