scientific article; zbMATH DE number 2042619

MaRDI QIDQ4450449zbMATH OpenFDO

Authors Francesc Esteva, Lluís Godo, Àngel García-Cerdaña

Publication date 15 February 2004

zbMATH Keywords

hierarchy of fuzzy logicsMTL-algebraresiduumsurveyt-norms

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Fuzzy logic; logic of vagueness (03B52) Logical aspects of lattices and related structures (03G10) Heyting algebras (lattice-theoretic aspects) (06D20)

Recommendations

• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
• Metamathematics of fuzzy logic
• scientific article; zbMATH DE number 2030505
• scientific article; zbMATH DE number 2209491

Cited in

(30)

• The pseudo-linear semantics of interval-valued fuzzy logics
• Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
• A note on Trillas' CHC models
• Commutative integral bounded residuated lattices with an added involution
• Automata theory based on complete residuated lattice-valued logic: Pushdown automata
• Automata theory based on complete residuated lattice-valued logic: a categorical approach
• The logic of the strongest and the weakest t-norms
• Discrete dualities for \(n\)-potent MTL-algebras and 2-potent BL-algebras
• Fuzzy sets and formal logics
• Fuzzy logics from substructural perspective
• On the scope of some formulas defining additive connectives in fuzzy logics
• Computational complexities of axiomatic extensions of monoidal t-norm based logic
• On three implication-less fragments of t-norm based fuzzy logics
• Determinization of fuzzy automata with membership values in complete residuated lattices
• The logic of tied implications. I: Properties, applications and representation
• On two fragments with negation and without implication of the logic of residuated lattices
• Issues on adjointness in multiple-valued logics
• A small set of axioms for residuated logic
• On fuzzy logics based on t-norms and the results of Monteiro on symmetric Heyting algebras
• scientific article; zbMATH DE number 2030505 (Why is no real title available?)
• The standard completeness of interval-valued monoidal t-norm based logic
• FUZZY LOGICAL OPERATORS ON FINITE CHAINS
• Discrete dualities for groupoids
• Varieties generated by t-norms
• An algebraic approach to the study of monadic substructural predicate logics over \(\mathbf{FL_{ew}}\)
• Triangle algebras: A formal logic approach to interval-valued residuated lattices
• Representation theorems for some fuzzy logics based on residuated non-distributive lattices
• Truth values on generalizations of some commutative fuzzy structures
• Implicational (semilinear) logics. I: A new hierarchy
• Filters of residuated lattices and triangle algebras

This page was built for publication:

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