𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On a Simple Axiomatic System of the Infinitely Many-Valued Logic Based on ∧, →

✍ Scribed by Akira Nakamura

Publisher
John Wiley and Sons
Year
1963
Tongue
English
Weight
356 KB
Volume
9
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On triangular norm based axiomatic exten
On triangular norm based axiomatic extensions of the weak nilpotent minimum logic
✍ Carles Noguera; Francesc Esteva; Joan Gispert 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 285 KB 👁 1 views

## Abstract In this paper we carry out an algebraic investigation of the weak nilpotent minimum logic (WNM) and its t‐norm based axiomatic extensions. We consider the algebraic counterpart of WNM, the variety of WNM‐algebras (𝕎ℕ𝕄) and prove that it is locally finite, so all its subvarieties are gen

On the consistency of rule bases based o
On the consistency of rule bases based on lattice-valued first-order logic LF(X)
✍ Yang Xu; Jun Liu; Da Ruan; Tsu-Tian Lee 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 209 KB 👁 1 views

The consistency of a rule base is an essential issue for rule-based intelligent information processing. Due to the uncertainty inevitably included in the rule base, it is necessary to verify the consistency of the rule base while investigating, designing, and applying a rule-based intelligent system