On Some Varieties of MTL-algebras

From MaRDI portal
Publication:5703740

DOI10.1093/jigpal/jzi034zbMath1078.03051OpenAlexW2139118605MaRDI QIDQ5703740

Francesc Esteva, Carles Noguera, Joan Gispert i Brasó

Publication date: 8 November 2005

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzi034



Related Items

The construction of left-continuous t-norms: a geometric approach in two dimensionsThree and two-valued Łukasiewicz theories in the formal deductive system \({\mathcal L}^*\) (NM-logic)The radical of a perfect residuated structureGroup representation for even and odd involutive commutative residuated chainsUnnamed ItemParaconsistency properties in degree-preserving fuzzy logicsOn the existence of free models in fuzzy universal Horn classesStone-like representation theorems and three-valued filters in \(R_{0}\)- algebras (nilpotent minimum algebras)Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\)On triangular norm based axiomatic extensions of the weak nilpotent minimum logicCharacterizations of maximal consistent theories in the formal deductive system \(\mathcal L^{*}\) (NM-logic) and Cantor spaceReal coextensions as a tool for constructing triangular normsOn some subvarieties of \(IMTn\)-algebras and the partitions of the \(m\)-cube.States on finite monoidal t-norm based algebrasThe logic of tied implications. I: Properties, applications and representationGeneralized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logicsOn expansions of WNM t-norm based logics with truth-constantsRepresentable good EQ-algebrasVery true operators on MTL-algebrasUltra LI-ideals in lattice implication algebras and MTL-algebrasOn finite MTL-algebras that are representable as poset products of Archimedean chainsDistinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalenciesOn linear varieties of MTL-algebrasSplit exact sequences of finite MTL-chains