Fuzzy logics based on \([0,1)\)-continuous uninorms

DOI10.1007/S00153-007-0047-1zbMath1128.03015OpenAlexW2075048472MaRDI QIDQ884954

George Metcalfe, Dov M. Gabbay

Publication date: 7 June 2007

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-007-0047-1

zbMATH Keywords

fuzzy logict-normcross ratiouninormhypersequent calculus

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Many-valued logic (03B50)

Related Items (33)

Residual operations of left and right uninorms on a complete lattice ⋮ The Relations between Implications and Left (Right) Semi-Uninorms on a Complete Lattice ⋮ The left (right) distributivity of semi-t-operators over 2-uninorms ⋮ On almost equitable uninorms ⋮ Weakening-free fuzzy logics with the connective \(\Delta\) ⋮ Distributivity equation in the class of 2-uninorms ⋮ Constructing strict left (right)-disjunctive left (right) semi-uninorms and coimplications satisfying the order property ⋮ Lattice fuzzy transforms from the perspective of mathematical morphology ⋮ Relations among implications, coimplications and left (right) semi-uninorms ⋮ Distributivity and conditional distributivity of semi-t-operators over \(S\)-uninorms ⋮ Further characterization of uninorms on bounded lattices ⋮ Ordinal sums: from triangular norms to bi- and multivariate copulas ⋮ A note on standard completeness for some extensions of uninorm logic ⋮ Mathematical Fuzzy Logics ⋮ Semi-uninorms and implications on a complete lattice ⋮ The modularity condition for semi-t-operators and semi-uninorms ⋮ The modularity law in some classes of aggregation operators ⋮ Pseudo-uninorms and coimplications on a complete lattice ⋮ A survey on the existing classes of uninorms ⋮ Uninorms and Non-contradiction ⋮ Amalgamation through quantifier elimination for varieties of commutative residuated lattices ⋮ Basic substructural core fuzzy logics and their extensions: mianorm-based logics ⋮ Constructions of coimplications and left (right) semi-uninorms on a complete lattice ⋮ Characterizations of residual coimplications of pseudo-uninorms on a complete lattice ⋮ A characterization of (U,N), RU, QL and D-implications derived from uninorms satisfying the law of importation ⋮ Storage and recall capabilities of fuzzy morphological associative memories with adjunction-based learning ⋮ On triangular norms and uninorms definable in Ł\(\Pi \frac{1}{2}\) ⋮ Left (right) semi-uninorms and coimplications on a complete lattice ⋮ The modularity condition for semi-t-operators ⋮ Residual coimplicators of left and right uninorms on a complete lattice ⋮ Unnamed Item ⋮ On the structure of special classes of uninorms ⋮ Constructing conjunctive left (right) semi-uninorms and implications satisfying the neutrality principle

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• Standard completeness of Hájek basic logic and decompositions of BL-chains
• Van Melle's combining function in MYCIN is a representable uninorm: An alternative proof
• Metamathematics of fuzzy logic
• The structure of continuous uni-norms
• Hypersequents, logical consequence and intermediate logics for concurrency
• Uninorm aggregation operators
• Analytic calculi for product logics
• Defending against strategic manipulation in uninorm-based multi-agent decision making
• Weakly implicative (fuzzy) logics. I: Basic properties
• Structure of Uninorms
• A constructive analysis of RM
• Symmetric Summation: A Class of Operations on Fuzzy Sets
• THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES
• Sequent and hypersequent calculi for abelian and łukasiewicz logics
• Substructural fuzzy logics
• Uninorms in fuzzy systems modeling
• Complexity of t-tautologies

This page was built for publication: Fuzzy logics based on \([0,1)\)-continuous uninorms