Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics
From MaRDI portal
Publication:2269796
DOI10.1016/j.ins.2009.12.011zbMath1193.03050OpenAlexW2081859501MaRDI QIDQ2269796
Francesc Esteva, Lluís Godo, Carles Noguera
Publication date: 11 March 2010
Published in: Information Sciences (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/10261/160556
MV-algebrassurvey papercontinuous t-normsmathematical fuzzy logicleft-continuous t-normsrational chainsMTL-chainsBL-chainslinearly ordered MTL-algebrasmonoidal t-norm based logic (MTL)
Fuzzy logic; logic of vagueness (03B52) Other algebras related to logic (03G25) Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items (13)
The construction of left-continuous t-norms: a geometric approach in two dimensions ⋮ Discrete overlap functions: basic properties and constructions ⋮ Ordinal sums: from triangular norms to bi- and multivariate copulas ⋮ Pseudo-BCK algebras as partial algebras ⋮ The approximation of left-continuous t-norms ⋮ Systemic approach to fuzzy logic formalization for approximate reasoning ⋮ Real coextensions as a tool for constructing triangular norms ⋮ Internal direct product of integral \(\vee\)-distributive binary aggregation functions and the classification of all integral \(\vee\)-distributive binary aggregation functions of length 3 ⋮ Triangular norm based graded convex fuzzy sets ⋮ States on finite monoidal t-norm based algebras ⋮ The variety of modular basic algebras generated by MV-chains and horizontal sums of three-element chain basic algebras ⋮ The Semantics of Fuzzy Logics: Two Approaches to Finite Tomonoids ⋮ Ordinal sums of the main classes of fuzzy negations and the natural negations of t-norms, t-conorms and fuzzy implications
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Structure of left-continuous triangular norms with strong induced negations. III: Construction and decomposition
- Statistical metric spaces
- On the structure of semi-groups on a compact manifold with boundary
- Generalizations to the constructions of t-norms: rotation(-annihilation) construction
- On the structure of left-continuous t-norms that have a continuous contour line
- Residuated lattices. An algebraic glimpse at substructural logics
- Regular left-continuous t-norms
- Cancellativity properties for t-norms and t-subnorms
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
- First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties
- On the reflection invariance of residuated chains
- Rotation-invariant t-norms: where triple rotation and rotation-annihilation meet
- On some logical connectives for fuzzy sets theory
- Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
- Fuzzy sets and systems. Theory and applications
- The use of fuzzy outranking relations in preference modelling
- Triangular norms on product lattices
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- On the structure of rotation-invariant semigroups
- On the direct decomposability of t-norms on product lattices
- On the continuity points of 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
- On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
- Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\(\forall\)
- A general method for constructing left-continuous t-norms
- Varieties of BL-algebras. I: General properties.
- Equational characterization of the subvarieties of BL generated by t-norm algebras
- On a class of left-continuous \(\text t\)-norms
- A complete many-valued logic with product-conjunction
- New family of triangular norms via contrapositive symmetrization of residuated implications
- The triple rotation method for constructing t-norms
- Triangular norms on partially ordered sets
- Basic hoops: an algebraic study of continuous t-norms
- Strong non-standard completeness for fuzzy logics
- On the convex combination of left-continuous t-norms
- On the determination of left-continuous \(t\)-norms and continuous Archimedean \(t\)-norms on some segments
- Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops
- Algebraic Analysis of Many Valued Logics
- A propositional calculus with denumerable matrix
- A New Proof of the Completeness of the Lukasiewicz Axioms
- On Weakly Cancellative Fuzzy Logics
- On triangular norm based axiomatic extensions of the weak nilpotent minimum logic
- Arithmetical Complexity of First-order Predicate Fuzzy Logics Over Distinguished Semantics
- Algebraizable logics
- On a class of operators for expert systems
- Hoops and Fuzzy Logic
- Structure of left-continuous triangular norms with strong induced negations (II) Rotation-annihilation construction
- Structure of left-continuous triangular norms with strong induced negations (I) Rotation construction
- On n ‐contractive fuzzy logics
- Fuzzy sets
- On Some Varieties of MTL-algebras
- Naturally Totally Ordered Commutative Semigroups
- Statistical Metrics
This page was built for publication: Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics
