Publication:2753673
From MaRDI portal
zbMath0973.03029arXivmath/0005183MaRDI QIDQ2753673
Publication date: 11 November 2001
Full work available at URL: https://arxiv.org/abs/math/0005183
Related Items
Densification of FL chains via residuated frames, The eskolemization of universal quantifiers, Uniform proofs of standard completeness for extensions of first-order MTL, Terminological difficulties in fuzzy set theory -- the case of ``intuitionistic fuzzy sets, Density elimination, A cut-free calculus for second-order Gödel logic, Density revisited, Analytic calculi for product logics, A proof-theoretical investigation of global intuitionistic (fuzzy) logic, On the concurrent computational content of intermediate logics, Hypersequent and display calculi -- a unified perspective, Triangular norm based predicate fuzzy logics, First-order Gödel logics, A Multiple-Conclusion Calculus for First-Order Gödel Logic, Herbrand Theorems and Skolemization for Prenex Fuzzy Logics