Hereditary structural completeness is established for a range of substructural logics, mainly without the weakening rule, including fragments of various relevant or many-valued logics. Also, structural completeness is disproved for a range of systems, settling some previously open questions.

In this paper we carry out an algebraic investigation of the weak nilpotent minimum logic and its t-norm based axiomatic extensions. We consider the algebraic counterpart of WNM, the variety of WNM-algebras and prove that it is locally finite, so all its subvarieties are generated by finite chains. We give criteria to compare varieties generated by finite families of WNM-chains, in particular varieties generated by standard WNM-chains, or equivalently t-norm based axiomatic extensions of WNM, and we study their standard completeness (...) properties. We also characterize the generic WNM-chains, i. e. those that generate the variety [MATHEMATICAL DOUBLE-STRUCK CAPITAL W]ℕ[MATHEMATICAL DOUBLE-STRUCK CAPITAL M], and we give finite axiomatizations for some t-norm based extensions of WNM. (shrink)

The aim of this paper is to give a description of the free algebras in some varieties of Glivenko MTL-algebras having the Boolean retraction property. This description is given (generalizing the results of [9]) in terms of weak Boolean products over Cantor spaces. We prove that in some cases the stalks can be obtained in a constructive way from free kernel DL-algebras, which are the maximal radical of directly indecomposable Glivenko MTL-algebras satisfying the equation in the title. We include examples (...) to show how we can apply the results to describe free algebras in some well known varieties of involutive MTL-algebras and of pseudocomplemented MTL-algebras. (shrink)

In the present paper we give a description of the free algebra over an arbitrary set of generators in the variety of nilpotent minimum algebras. Such description is given in terms of a weak Boolean product of directly indecomposable algebras over the Boolean space corresponding to the Boolean subalgebra of the free NM-algebra.