𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Correctness of the compiling process based on axiomatic semantics

✍ Scribed by Bruce Russell

Publisher
Springer-Verlag
Year
1980
Tongue
English
Weight
805 KB
Volume
14
Category
Article
ISSN
0001-5903

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

On the semantics of perception-based fuz
On the semantics of perception-based fuzzy logic deduction
✍ VilΓ©m NovΓ‘k; Irina Perfilieva πŸ“‚ Article πŸ“… 2004 πŸ› John Wiley and Sons 🌐 English βš– 410 KB

In this article, we return to the problem of the derivation of a conclusion on the basis of fuzzy IF-THEN rules. The so-called Mamdani method is well elaborated and widely applied. In this article, we present an alternative to it. The fuzzy IF-THEN rules are here interpreted as genuine linguistic se

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