On triangular norm-based propositional fuzzy logics

Dan Butnariu, Erich Peter Klement, Samy Zafrany

Research output: Contribution to journalArticlepeer-review


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.

Original languageEnglish
Pages (from-to)241-255
Number of pages15
JournalFuzzy Sets and Systems
Issue number3
StatePublished - 10 Feb 1995


  • Fuzzy logics
  • Min-max logic
  • Satisfiability
  • Triangular norms
  • Łukasiewicz logic

ASJC Scopus subject areas

  • Logic
  • Artificial Intelligence


Dive into the research topics of 'On triangular norm-based propositional fuzzy logics'. Together they form a unique fingerprint.

Cite this