On triangular norm based axiomatic extensions of the weak nilpotent minimum logic
From MaRDI portal
Publication:3520229
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
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
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
- 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