Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results (Q876491)
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: Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results |
scientific article; zbMATH DE number 5144491
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results |
scientific article; zbMATH DE number 5144491 |
Statements
Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results (English)
0 references
18 April 2007
0 references
basic fuzzy logic BL
0 references
Gödel logic
0 references
Łukasiewicz logic
0 references
product logic
0 references
t-norm-based logic
0 references
expansions with truth-constants
0 references
rational Pavelka logic
0 references
standard completeness
0 references
0 references
