𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Application of Neuron MOS in multiple-valued logic

✍ Scribed by Wang Pengjun; Lu Jingang; Xu Jian

Publisher
Springer-Verlag
Year
2007
Tongue
English
Weight
275 KB
Volume
17
Category
Article
ISSN
0941-0643

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

On quasi-varieties of multiple valued lo
On quasi-varieties of multiple valued logic models
✍ RΔƒzvan Diaconescu πŸ“‚ Article πŸ“… 2011 πŸ› John Wiley and Sons 🌐 English βš– 128 KB

## 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

Application of multiple-valued logic in
Application of multiple-valued logic in the description of the propagation of uncertain information in expert systems
✍ Julius Csonto πŸ“‚ Article πŸ“… 1991 πŸ› Elsevier Science 🌐 English βš– 549 KB

A method of processing uncertain information in rule-based expert systems is presented. The method is based on the multiple-valued threshold logic and provides effective computer implementation owing to minimum requirements on arithmetic operations. The possibility of an adequately fine operation wi

Design and fault diagnosis of cellular a
Design and fault diagnosis of cellular arrays realizing multiple-valued logic functions
✍ Naotake Kamiura; Yutaka Hata; Kazuharu Yamato πŸ“‚ Article πŸ“… 1994 πŸ› John Wiley and Sons 🌐 English βš– 938 KB

## Abstract An efficient fault diagnostic method should be developed to reduce the turnaround time and the cost for developing binary LSI's. For the multiple‐valued logic system that has been expected in the post‐binary electronics, research on the fault diagnosis for the logic circuit will be esse

A two-valued logic for reasoning about d
A two-valued logic for reasoning about different types of consequence in Kleene's three-valued logic
✍ Beata Konikowska πŸ“‚ Article πŸ“… 1990 πŸ› Springer Netherlands 🌐 English βš– 807 KB

A formal language of two-valued logic is developed, whose terms are formulas of the language of Kleene's three-valued logic. The atomic formulas of the former language are pairs of formulas of the latter language joined by "consequence" operators. These operators correspond to the three "sensible" t