First-order nilpotent minimum logics : first steps

Inspired by the work done by Baaz et al. (Ann Pure Appl Log 147(1\u20132): 23\u201347, 2007; Lecture Notes in Computer Science, vol 4790/2007, pp 77\u201391, 2007) for first-order G\uf6del logics, we investigate Nilpotent Minimum logic NM. We study decidability and reciprocal inclusion of various sets of first-order tautologies of some subalgebras of the standard Nilpotent Minimum algebra, establishing also a connection between the validity in an NM-chain of certain first-order formulas and its order type. Furthermore, we analyze axiomatizability, undecidability and the monadic fragments