Reversible logic is becoming more and more prominent as the technology sets higher demands on heat, power, scaling and stability. Reversible gates are able at any time to ”undo” the current step or function. Multiple-valued logic has the advantage of transporting and evaluating higher bits each clock cycle than binary. Moreover, we demonstrate in this paper, combining these disciplines we can c...

Multiple-valued logics [2] provide an interesting alternative to classical boolean logic for modeling and reasoning about systems. By allowing additional truth values, they support the explicit modeling of uncertainty and disagreement. In order to do temporal reasoning over multiple-valued systems, we must extend a classical temporal logic to the multiple-valued case. For instance, the branchin...

In his well-known paper \How computer should think" ((Be77b]) Belnap argues that four valued semantics is a very suitable setting for computerized reasoning. In this paper we vindicate this thesis by showing that the logical role that the four-valued structure has among Ginsberg's well-known bilattices is similar to the role that the two-valued algebra has among Boolean algebras. Speciically, w...

Axiomatic bases of admissible rules are obtained for fragments of the substructural logic R-mingle. In particular, it is shown that a “modus-ponens-like” rule introduced by Arnon Avron forms a basis for the admissible rules of its implication and implication-fusion fragments, while a basis for the admissible rules of the full multiplicative fragment requires an additional countably infinite set...

We show that a multiple-valued symmetric function has a planar ROMDD (reduced ordered multiple-valued decisio n diagram) if and only if it is a pseudo-voting function. We show that the number of such functions is where r is the number of logic values and n is the number of variables. I t follows from this that the fraction of symmetric multiple-valued functions that have planar ROMDD's approach...

In spite of the increasing importance placed on creation and delivery value, it is unclear what value how determined in design. this paper, first descriptive model determination (ValueD) presented to clarify key elements mechanisms involved. ValueD describes as a cognitive process that situated dependent an agent’s knowledge. The variables involved are: entity interpreted by agent; situation kn...

Several algorithms have been proposed to construct optimal signature sequences that maximize the sum capacity of the uplink in a direct-spread synchronous code division multiple access (CDMA) system. These algorithms produce signatures with real-valued or complexvalued entries that generally have a large peak-to-average power ratio (PAR). This paper presents an alternating projection algorithm ...