Multiple valued logic for microprocessors
β Scribed by D. Etiemble; J.P. Aillaud
- Publisher
- Elsevier Science
- Year
- 1980
- Weight
- 558 KB
- Volume
- 6
- Category
- Article
- ISSN
- 0303-1268
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
Multiple-valued logic devices can be constructed compactly by utilizing quantized behavior of single-electron circuits. As an example, a single-electron multiple-valued Hopfield network solving optimization problems is designed. Computer simulation shows that the network can successfully converge to
## MSC (2010) 03B50, 03C05 We extend the concept of quasi-variety of first-order models from classical logic to multiple valued logic (MVL) and study the relationship between quasi-varieties and existence of initial models in MVL. We define a concept of 'Horn sentence' in MVL and based upon our st