scientific article; zbMATH DE number 2068681
From MaRDI portal
Publication:4465174
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)
