A natural deduction system for intuitionistic fuzzy logic (Q2784584)
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: A natural deduction system for intuitionistic fuzzy logic |
scientific article; zbMATH DE number 1732831
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A natural deduction system for intuitionistic fuzzy logic |
scientific article; zbMATH DE number 1732831 |
Statements
31 March 2003
0 references
intuitionistic fuzzy logic
0 references
Gödel logic
0 references
natural deduction
0 references
A natural deduction system for intuitionistic fuzzy logic (English)
0 references
Intuitionistic fuzzy logic (IF) is the logic of complete Heyting algebra over the real interval \([0, 1]\). This logic is equivalent with the first-order Gödel logic based on \([0, 1]\), which is one of three main fuzzy logics based on continuous t-norms. The paper presents in detail a natural deduction system for IF which is an extension of the natural deduction system for intuitionistic logic. Completeness and the normal form property of this system are proved.NEWLINENEWLINEFor the entire collection see [Zbl 0970.00009].
0 references
