scientific article

zbMath0973.03029arXivmath/0005183MaRDI QIDQ2753673

Matthias Baaz, Richard Zach

Publication date: 11 November 2001

Full work available at URL: https://arxiv.org/abs/math/0005183

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Cut-elimination and normal-form theorems (03F05)

Related Items (18)

Densification of FL chains via residuated frames ⋮ First-order Gödel logics ⋮ A cut-free calculus for second-order Gödel logic ⋮ Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic ⋮ Herbrand Theorems and Skolemization for Prenex Fuzzy Logics ⋮ Nested sequents for intermediate logics: the case of Gödel-Dummett logics ⋮ Density revisited ⋮ The eskolemization of universal quantifiers ⋮ Density elimination ⋮ A Multiple-Conclusion Calculus for First-Order Gödel Logic ⋮ On the concurrent computational content of intermediate logics ⋮ Analytic calculi for product logics ⋮ Hypersequent and display calculi -- a unified perspective ⋮ Triangular norm based predicate fuzzy logics ⋮ A proof-theoretical investigation of global intuitionistic (fuzzy) logic ⋮ Uniform proofs of standard completeness for extensions of first-order MTL ⋮ Terminological difficulties in fuzzy set theory -- the case of ``intuitionistic fuzzy sets ⋮ From semantic games to provability: the case of Gödel logic

This page was built for publication: