Analytic fuzzy tableaux (Q5957079)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Analytic fuzzy tableaux |
scientific article; zbMATH DE number 1714124
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Analytic fuzzy tableaux |
scientific article; zbMATH DE number 1714124 |
Statements
Analytic fuzzy tableaux (English)
0 references
21 April 2002
0 references
soundness
0 references
fuzzy deductive systems
0 references
fuzzy propositional logic
0 references
fuzzy tableaux
0 references
completeness
0 references
decidability
0 references
0.8379841446876526
0 references
0.8106666803359985
0 references
0.8046773672103882
0 references
0.8024890422821045
0 references
0.7915946841239929
0 references
