Elsevier

Fuzzy Sets and Systems

Volume 69, Issue 3, 10 February 1995, Pages 241-255
Fuzzy Sets and Systems

On triangular norm-based propositional fuzzy logics

https://doi.org/10.1016/0165-0114(94)00172-4Get rights and content

Abstract

Fuzzy logics based on triangular norms and their corresponding conorms are investigated. An affirmative answer to the question whether in such logics a specific level of satisfiability of a set of formulas can be characterized by the same level of satisfiability of its finite subsets is given. Tautologies, contradictions and contigencies with respect to such fuzzy logics are studied, in particular for the important cases of min-max and Łukasiewicz logics. Finally, fundamental t-norm-based fuzzy logics are shown to provide a gradual transition between min-max and Łukasiewicz logics.

References (16)

  • D. Butnariu et al.

    Triangular norm-based measures and their Markov kernel representation

    J. Math. Anal. Appl.

    (1991)
  • L.A. Zadeh

    Fuzzy sets

    Inform. and Control

    (1965)
  • D. Butnariu et al.

    Triangular Norm-Based Measures and Games with Fuzzy Coalitions

    (1993)
  • D. Dubois et al.

    Fuzzy logics and the generalized Modus Ponens revisited

    Cybernet. Systems

    (1984)
  • H.B. Enderton

    Mathematical Introduction to Logic

    (1972)
  • M.J. Frank

    On the simultaneous associativity of F(x, y) and x + yF(x, y)

    Aequationes Math.

    (1979)
  • R. Lopez De Mántaras

    Approximate Reasoning Models

    (1990)
  • D.J. Monk

    Mathematical Logic

    (1976)
There are more references available in the full text version of this article.

Cited by (55)

  • On approximate reasoning with graded rules

    2007, Fuzzy Sets and Systems
  • Many-Valued Logics

    2007, Philosophy of Logic
View all citing articles on Scopus
View full text