scientific article; zbMATH DE number 2068681

Nilpotent minimum logic NML was introduced in 2001 by F. Esteva and L. Godo as a formalization of the properties of nilpotent minimum t-norms. NML logic is obtained from MTL by adding the involutivity axiom for negation, together with a special axiom taking care of the nilpotent minimum condition. The purpose of the present paper is to characterize, completely classify and axiomatize all axiomatic extensions of NML. As a final result, the author proves that every proper axiomatic extensions of NML is decidable.

Recommendations

First-order nilpotent minimum logics: first steps
Finitary extensions of the nilpotent minimum logic and (almost) structural completeness
NMŁ, a schematic extension of F. Esteva and L. Godo's logic MTL
Probability measures in the logic of nilpotent minimum
On triangular norm based axiomatic extensions of the weak nilpotent minimum logic

Cited in

(34)

On some categories of involutive centered residuated lattices
On some questions concerning the axiomatisation of WNM-algebras and their subvarieties
On deductive interpolation for the weak nilpotent minimum logic
Free weak nilpotent minimum algebras
Finitary extensions of the nilpotent minimum logic and (almost) structural completeness
A representation of residuated lattices satisfying the double negation law
A characterization of truth-functions in the nilpotent minimum logic
Varieties of commutative integral bounded residuated lattices admitting a Boolean retraction term
Rotation logics
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
On linear varieties of MTL-algebras
A temporal semantics for nilpotent minimum logic
First-order nilpotent minimum logics: first steps
Computational complexities of axiomatic extensions of monoidal t-norm based logic
Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\)
Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops
On negatively equivalent extensions of minimal logic
scientific article; zbMATH DE number 5295430 (Why is no real title available?)
On triangular norm based axiomatic extensions of the weak nilpotent minimum logic
On extensions of Nelson's logic satisfying Dummett's axiom
Proof theory for locally finite many-valued logics: semi-projective logics
Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
ASP for minimal entailment in a rational extension of SROEL
Nilpotent Minimum Logic NM and Pretabularity
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
scientific article; zbMATH DE number 7536428 (Why is no real title available?)
Varieties of bounded K-lattices
Amalgamation through quantifier elimination for varieties of commutative residuated lattices
Single chain completeness and some related properties
On nilpotent minimum logics defined by lattice filters and their paraconsistent non-falsity preserving companions
Tabular and pretabular varieties of MTL-algebras
Axiomatic extensions of IMT3 logic
Probability measures in the logic of nilpotent minimum

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4465174)