scientific article; zbMATH DE number 2113968
From MaRDI portal
Publication:4825702
zbMath1057.03019MaRDI QIDQ4825702
Agata Ciabattoni, Matthias Baaz, Franco Montagna
Publication date: 5 November 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Dual tableau for monoidal triangular norm logic MTL ⋮ Herbrand Theorems and Skolemization for Prenex Fuzzy Logics ⋮ Obituary: Franco Montagna (1948--2015) ⋮ Density revisited ⋮ The eskolemization of universal quantifiers ⋮ Density elimination ⋮ Analytic calculi for product logics ⋮ Hypersequent and display calculi -- a unified perspective ⋮ Triangular norm based predicate fuzzy logics ⋮ Uniform proofs of standard completeness for extensions of first-order MTL ⋮ Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
