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
Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic, Nested sequents for intermediate logics: the case of Gödel-Dummett logics, 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, From semantic games to provability: the case of Gödel logic, 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