Results 211 to 220 of about 11,964 (263)
Some of the next articles are maybe not open access.
A Logic of Multiple-Valued Argumentation
International Joint Conference on Autonomous Agents and Multiagent Systems, 2004This paper provides a new departure from the traditional two-valued argumentation frameworks. We address ourselves to formalize an expressive logic of argumentation, called a Logic of Multiple-valued Argumentation (LMA), on top of the very expressive knowledge representation language, called Extended Annotated Logic Programming (EALP), and examine its ...
Takehisa Takahashi, Hajime Sawamura
openaire +2 more sources
Multiple-valued logic design using multiple-valued EXOR
Proceedings 25th International Symposium on Multiple-Valued Logic, 2002An approach to logic minimization using a new sum operation called multiple valued EXOR is proposed. The paper introduces the multiple valued sum of products expression using the EXOR. As the scheme of the minimization, we utilize an idea based on neural computing.
Takahiro Hozumi +3 more
openaire +1 more source
Multiple-valued logic as a programming language
Proceedings 1997 27th International Symposium on Multiple- Valued Logic, 2002A method for specifying the computable functions using multiple-valued logics is described. The logics in question provide a uniform environment both for specifying computable functions on the natural numbers and for proving theorems about such specifications.
Robert J. Bignall, Matthew Spinks
openaire +1 more source
Implicit Expressibility in Multiple-Valued Logic
Moscow University Computational Mathematics and Cybernetics, 2022zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
A design of multiple-valued logic neuron
Proceedings of the Twentieth International Symposium on Multiple-Valued Logic, 2002A design for a multiple-valued-logic (MVL) neuron model, in which MVL operations are used to produce analog responses to be fed to a quantizer, is presented. The proposed MVL neuron model can be trained to classify the input pattern vectors according to the special inputs called 'desired responses'.
Tatsuki Watanabe +3 more
openaire +1 more source
Optoelectronic multiple-valued logic implementation
Optics Letters, 1989A design for optoelectronic multiple-value logic circuits that uses bistable laser diodes or light-emitting diodes is reported. In this multiple-valued logic design, an optoelectronic tristable switching circuit, or light-current mirror, in which two bistable light-emitting diodes are connected in parallel serves as the basic logic element.
S, Liu, C, Li, J, Wu, Y, Liu
openaire +2 more sources
Issues on adjointness in multiple-valued logics
Information Sciences, 2006The paper deals with relating conjunctions to implications using adjointness in \((L,P)\)-valued logic, where \((L,\leq)\) and \((P,\leq)\) are complete lattices, interpreting two types of truth values. The paper starts with a synopsis of the basic results on the notion of residuation (= adjointness). This notion is used to enlarged the scope of choice
Nehad N. Morsi, Elewa M. Roshdy
openaire +2 more sources
Uncertainty, Energy, and Multiple-Valued Logics
IEEE Transactions on Computers, 1986zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
IEEE Potentials, 1995
The ultimate usefulness of a number system depends on its implementation. Multiple-valued logic has been implemented in charge-coupled devices (CCD). In this technology, logic values are encoded as charge. For example, prototype four-valued logic devices have been implemented at the University of Twente (Enschede, Holland). Hitachi has implemented a 16-
openaire +1 more source
The ultimate usefulness of a number system depends on its implementation. Multiple-valued logic has been implemented in charge-coupled devices (CCD). In this technology, logic values are encoded as charge. For example, prototype four-valued logic devices have been implemented at the University of Twente (Enschede, Holland). Hitachi has implemented a 16-
openaire +1 more source
Multiple-valued logic operations with universal literals
Proceedings of 24th International Symposium on Multiple-Valued Logic (ISMVL'94), 1994We propose the use of universal literals as a means of reducing the cost of multiple-valued circuits. A universal literal is any function on one variable. The target architecture is a sum-of-products structure, where sum is the truncated sum and product terms consist of the minimum of universal literals.
Dueck, Gerhard W., Butler, Jon T.
openaire +2 more sources