Herbrand Theorems and Skolemization for Prenex Fuzzy Logics (Q3507415)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Herbrand Theorems and Skolemization for Prenex Fuzzy Logics |
scientific article |
Statements
Herbrand Theorems and Skolemization for Prenex Fuzzy Logics (English)
0 references
19 June 2008
0 references
Herbrand Theorem
0 references
Skolemization
0 references
Fuzzy Logics
0 references
