𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Multi-valued logic and Gröner bases with applications to modal logic

✍ Scribed by J. Chazarain; A. Riscos; J.A. Alonso; E. Briales

Publisher
Elsevier Science
Year
1991
Tongue
English
Weight
785 KB
Volume
11
Category
Article
ISSN
0747-7171

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Use of multiple-valued logic with 1.9-V
Use of multiple-valued logic with 1.9-V operational power supply to obtain a high-speed current-mode logic circuit
✍ Yasuhiro Sugimoto 📂 Article 📅 1996 🏛 John Wiley and Sons 🌐 English ⚖ 635 KB

This paper proposes a new construction of bipolar current-mode (CML) logic circuits based on the multiple-valued logic concept. Applying the multiple-valued logic concept, the new logic function, which can replace the conventional stack logic circuit and can be operated by a low supply voltage, can

Gröbner Bases with Respect to Generalize
Gröbner Bases with Respect to Generalized Term Orders and their Application to the Modelling Problem
✍ FRANZ PAUER; SANDRO ZAMPIERI 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 544 KB

We present an algorithm to decide whether a homogeneous linear partial difference equation with constant coefficients provides an unfalsified model for a finite set of observations, which consist in multiindexed signals, known on a finite subset of N n . To this aim we introduce the concept of "gene