scientific article; zbMATH DE number 2068681
From MaRDI portal
Publication:4465174
zbMath1053.03015MaRDI QIDQ4465174
Publication date: 27 May 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (22)
First-order nilpotent minimum logics: first steps ⋮ Computational complexities of axiomatic extensions of monoidal t-norm based logic ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ Varieties of commutative integral bounded residuated lattices admitting a Boolean retraction term ⋮ Varieties of bounded K-lattices ⋮ On some questions concerning the axiomatisation of WNM-algebras and their subvarieties ⋮ Free weak 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 logic ⋮ Nilpotent Minimum Logic NM and Pretabularity ⋮ Rotation logics ⋮ Amalgamation through quantifier elimination for varieties of commutative residuated lattices ⋮ Single chain completeness and some related properties ⋮ Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics ⋮ On expansions of WNM t-norm based logics with truth-constants ⋮ Finitary extensions of the nilpotent minimum logic and (almost) structural completeness ⋮ A representation of residuated lattices satisfying the double negation law ⋮ On some categories of involutive centered residuated lattices ⋮ On linear varieties of MTL-algebras ⋮ Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops ⋮ A temporal semantics for nilpotent minimum logic ⋮ Axiomatic extensions of IMT3 logic
This page was built for publication:
