Program for generating fuzzy logical operations and its use in mathematical proofs. (Q3143790)
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 6112566
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Program for generating fuzzy logical operations and its use in mathematical proofs. |
scientific article; zbMATH DE number 6112566 |
Statements
4 December 2012
0 references
\(t\)-norm
0 references
finitely-valued conjunction
0 references
0.7747716307640076
0 references
0.7603468894958496
0 references
0.7603467702865601
0 references
0.7481563091278076
0 references
