The logic of the strongest and the weakest t-norms
From MaRDI portal
Publication:1677041
DOI10.1016/j.fss.2015.01.013zbMath1373.03031OpenAlexW1980065834WikidataQ59321706 ScholiaQ59321706MaRDI QIDQ1677041
Publication date: 10 November 2017
Published in: Fuzzy Sets and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.fss.2015.01.013
many-valued logicsresiduated latticesamalgamation propertydrastic product logicdrastic product t-normGödel-logicminimum t-norm
Fuzzy logic; logic of vagueness (03B52) Other algebras related to logic (03G25) MV-algebras (06D35) Many-valued logic (03B50) Varieties of lattices (06B20)
Related Items
Prelinearity in (quasi-)Nelson logic, Corrigendum to ``The logic of the strongest and the weakest t-norms, Free algebras, states and duality for the propositional \(\text{Gödel}_{\Delta}\) and drastic product logics, On linear varieties of MTL-algebras, Representations for logics and algebras related to revised drastic product t-norm
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Completeness with respect to a chain and universal models in fuzzy logic
- Disjunctive elimination rule and its application in MTL
- A fuzzy logic for the revised drastic product t-norm.
- Residuated lattices. An algebraic glimpse at substructural logics
- Logics with disjunction and proof by cases
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- Triangular norms
- A note on the ordinal sum theorem and its consequence for the construction of triangular norms
- A proof of standard completeness for Esteva and Godo's logic MTL
- One chain generated varieties of MV-algebras
- Amalgamation and interpolation in ordered algebras.
- Fuzzy logics as the logics of chains
- Interpolation and Beth's property in propositional many-valued logics: a semantic investigation
- A propositional calculus with denumerable matrix
- Algebraizable logics
- A Note on Drastic Product Logic
- On n ‐contractive fuzzy logics
- Fuzzy sets
- Algebraic Completeness Results for Dummett's LC and Its Extensions
- Statistical Metrics