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

DOI10.1002/malq.200710054zbMath1145.03039MaRDI 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

variety; algebraic logic; substructural logic; residuated lattice; mathematical fuzzy logic; MTL-algebra; left-continuous t-norm; WNM-algebra; monoidal triangular norm based logic; weak nilpotent minimum logic

Mathematics Subject Classification ID

03B52: Fuzzy logic; logic of vagueness

03G25: Other algebras related to logic

08B99: Varieties

Related Items

Paraconsistent constructive logic with strong negation as a contraction-free relevant logic, Nilpotent Minimum Logic NM and Pretabularity, Completeness with respect to a chain and universal models in fuzzy logic, Uniform proofs of standard completeness for extensions of first-order MTL, Normal forms and free algebras for some extensions of MTL, First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties, 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, Poset products as relational models, 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, 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

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item