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

DOI10.1002/MALQ.200710054MaRDI QIDQ3520229zbMATH OpenOpenAlexFDO

Authors 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

algebraic logicleft-continuous t-normmathematical fuzzy logicmonoidal triangular norm based logicMTL-algebraresiduated latticesubstructural logicvarietyweak nilpotent minimum logicWNM-algebra

Mathematics Subject Classification ID

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

Recommendations

• On expansions of WNM t-norm based logics with truth-constants
• First-order nilpotent minimum logics: first steps
• On some questions concerning the axiomatisation of WNM-algebras and their subvarieties
• scientific article; zbMATH DE number 2068681
• Finitary extensions of the nilpotent minimum logic and (almost) structural completeness

Cites work

• A proof of standard completeness for Esteva and Godo's logic MTL
• A propositional calculus with denumerable matrix
• A treatise on many-valued logics
• Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 2068681 (Why is no real title available?)
• 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 n ‐contractive fuzzy logics
• On equivalent forms of fuzzy logic systems NM and IMTL
• On Some Varieties of MTL-algebras
• On the scope of some formulas defining additive connectives in fuzzy logics
• On the structure of varieties with equationally definable principal congruences. I
• Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops
• The finite embeddability property for residuated lattices, pocrims and BCK-algebras.

Cited in

(18)

• 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
• scientific article; zbMATH DE number 5295430 (Why is no real title available?)
• scientific article; zbMATH DE number 2068681 (Why is no real title available?)
• 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

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

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