𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A characterization of truth-functions in the nilpotent minimum logic

✍ Scribed by San-Min Wang; Bao-Shu Wang; Xiang-Yun Wang

Publisher
Elsevier Science
Year
2004
Tongue
English
Weight
296 KB
Volume
145
Category
Article
ISSN
0165-0114

No coin nor oath required. For personal study only.

✦ Synopsis

By introducing a new family of partitions into the n-cube [0; 1] n , the problem of characterizing truth tables of formulas in the nilpotent minimum logic is solved and their normal forms are presented. So far, only this kind of fuzzy truth functions have normal forms among all fuzzy propositional calculi which are based on left-continuous but discontinuous t-norm.

πŸ“œ SIMILAR VOLUMES

A note on the notion of truth in fuzzy l
A note on the notion of truth in fuzzy logic
✍ Petr HΓ‘jek; John Shepherdson πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 74 KB

In fuzzy predicate logic, assignment of truth values may be partial, i.e. the truth value of a formula in an interpretation may be undeΓΏned (due to lack of some inΓΏnite suprema or inΓΏma in the underlying structure of truth values). A logic is supersound if each provable formula ' is true (has truth

A characterization of the minimum cycle
A characterization of the minimum cycle mean in a digraph
✍ Richard M. Karp πŸ“‚ Article πŸ“… 1978 πŸ› Elsevier Science 🌐 English βš– 315 KB

Let C = (V, E) be a digraph wl,th n vertices. Let f be a function from E illto the real numbem, associating with each edg~t: e EE a weight f(e). Given any sequence of edges 0 = el, e2, , . . , ep define w(a), the wei@ of a, as CyS 1 f(q), and define m(o), the mean weight of u, as w(a)&. Let A\* ==mi