On some questions concerning the axiomatisation of WNM-algebras and their subvarieties

Cites Work

Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Standard Completeness for Extensions of MTL: An Automated Approach
Triangular norms
Metamathematics of fuzzy logic
Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
A propositional calculus with denumerable matrix
Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
A proof of standard completeness for Esteva and Godo's logic MTL
On n ‐contractive fuzzy logics
The finite embeddability property for residuated lattices, pocrims and BCK-algebras.
Algebraizable logics
Spectral Duality for Finitely Generated Nilpotent Minimum Algebras, with Applications
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Varieties of BL-algebras. I: General properties.
Basic hoops: an algebraic study of continuous t-norms
Handbook of mathematical fuzzy logic. Volume 2
A note on the ordinal sum theorem and its consequence for the construction of triangular norms
Hoops and Fuzzy Logic
Probability measures in the logic of nilpotent minimum
Gödel algebras free over finite distributive lattices
Canonicity in subvarieties of BL-algebras
On expansions of WNM t-norm based logics with truth-constants
Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\(\forall\)
First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties
Normal forms and free algebras for some extensions of MTL
On triangular norm based axiomatic extensions of the weak nilpotent minimum logic
First-order nilpotent minimum logics: first steps
A Note on Drastic Product Logic
A fuzzy logic for an ordinal sum t-norm
A new axiomatization for involutive monoidal t-norm-based logic
A fuzzy logic for the revised drastic product t-norm.
Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics
A note on minimal axiomatisations of some extensions of MTL
A temporal semantics for nilpotent minimum logic
Simplification of axiom systems of fuzzy logics NM and \(L^*\)
Finite RDP-algebras: duality, coproducts and logic

Cited In (3)

Editorial
Title not available (Why is that?)
Free weak nilpotent minimum algebras

Uses Software

AxiomCalc

This page was built for publication: On some questions concerning the axiomatisation of WNM-algebras and their subvarieties

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