Sciweavers

90
Voted
CIE
2008
Springer
15 years 14 days ago
Herbrand Theorems and Skolemization for Prenex Fuzzy Logics
Approximate Herbrand theorems are established for first-order fuzzy logics based on continuous t-norms, and used to provide proof-theoretic proofs of Skolemization for their Prenex...
Matthias Baaz, George Metcalfe