On triangular norm based axiomatic extensions of the weak nilpotent minimum logic

DOI10.1002/malq.200710054zbMath1145.03039OpenAlexW2071694554MaRDI QIDQ3520229

Carles Noguera, Francesc Esteva, Joan Gispert i Brasó

Publication date: 15 August 2008

Published in: MLQ (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10261/161161

zbMATH Keywords

varietyalgebraic logicsubstructural logicresiduated latticemathematical fuzzy logicMTL-algebraleft-continuous t-normWNM-algebramonoidal triangular norm based logicweak nilpotent minimum logic

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Other algebras related to logic (03G25) Varieties (08B99)

Related Items (16)

Normal forms and free algebras for some extensions of MTL ⋮ Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics ⋮ Computational complexities of axiomatic extensions of monoidal t-norm based logic ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ Completeness with respect to a chain and universal models in fuzzy logic ⋮ 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 ⋮ Nilpotent Minimum Logic NM and Pretabularity ⋮ 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 ⋮ Finitary extensions of the nilpotent minimum logic and (almost) structural completeness ⋮ Uniform proofs of standard completeness for extensions of first-order MTL ⋮ First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties ⋮ Poset products as relational models

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
• Introduction to the special issue on algebraic logic
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• On equivalent forms of fuzzy logic systems NM and IMTL
• A proof of standard completeness for Esteva and Godo's logic MTL
• The finite embeddability property for residuated lattices, pocrims and BCK-algebras.
• On the structure of varieties with equationally definable principal congruences. I
• On the scope of some formulas defining additive connectives in fuzzy logics
• Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops
• A propositional calculus with denumerable matrix
• On n ‐contractive fuzzy logics
• On Some Varieties of MTL-algebras

This page was built for publication: On triangular norm based axiomatic extensions of the weak nilpotent minimum logic