Analytic Calculi for Logics of Ordinal Multiples of Standard t-Norms (Q5450567)
From MaRDI portal
scientific article; zbMATH DE number 5248834
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Analytic Calculi for Logics of Ordinal Multiples of Standard t-Norms |
scientific article; zbMATH DE number 5248834 |
Statements
Analytic Calculi for Logics of Ordinal Multiples of Standard t-Norms (English)
0 references
12 March 2008
0 references
analytic calculi
0 references
basic logic
0 references
fuzzy logics
0 references
analytic proof systems
0 references
hypersequents
0 references
