No label defined (Q4465174)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 2068681
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 2068681 |
Statements
27 May 2004
0 references
nilpotent minimum logic
0 references
monoidal t-norm
0 references
fuzzy logic
0 references
0.8413960933685303
0 references
0.8391548991203308
0 references
0.8277071714401245
0 references
0.8244564533233643
0 references
0.8149369359016418
0 references
Nilpotent minimum logic NML was introduced in 2001 by F. Esteva and L. Godo as a formalization of the properties of nilpotent minimum t-norms. NML logic is obtained from MTL by adding the involutivity axiom for negation, together with a special axiom taking care of the nilpotent minimum condition. The purpose of the present paper is to characterize, completely classify and axiomatize all axiomatic extensions of NML. As a final result, the author proves that every proper axiomatic extensions of NML is decidable.
0 references
