EPFL Logo
fr|en
Login
Concept

T-norm fuzzy logics

T-norm fuzzy logics are a family of non-classical logics, informally delimited by having a semantics that takes the real unit interval [0, 1] for the system of truth values and functions called t-norms for permissible interpretations of conjunction. They are mainly used in applied fuzzy logic and fuzzy set theory as a theoretical basis for approximate reasoning. T-norm fuzzy logics belong in broader classes of fuzzy logics and many-valued logics. In order to generate a well-behaved implication, the t-norms are usually required to be left-continuous; logics of left-continuous t-norms further belong in the class of substructural logics, among which they are marked with the validity of the law of prelinearity, (A → B) ∨ (B → A). Both propositional and first-order (or higher-order) t-norm fuzzy logics, as well as their expansions by modal and other operators, are studied. Logics that restrict the t-norm semantics to a subset of the real unit interval (for example, finitely valued Łukasiewicz logics) are usually included in the class as well. Important examples of t-norm fuzzy logics are monoidal t-norm logic (MTL) of all left-continuous t-norms, basic logic (BL) of all continuous t-norms, product fuzzy logic of the product t-norm, or the nilpotent minimum logic of the nilpotent minimum t-norm. Some independently motivated logics belong among t-norm fuzzy logics, too, for example Łukasiewicz logic (which is the logic of the Łukasiewicz t-norm) or Gödel–Dummett logic (which is the logic of the minimum t-norm). As members of the family of fuzzy logics, t-norm fuzzy logics primarily aim at generalizing classical two-valued logic by admitting intermediary truth values between 1 (truth) and 0 (falsity) representing degrees of truth of propositions. The degrees are assumed to be real numbers from the unit interval [0, 1]. In propositional t-norm fuzzy logics, propositional connectives are stipulated to be truth-functional, that is, the truth value of a complex proposition formed by a propositional connective from some constituent propositions is a function (called the truth function of the connective) of the truth values of the constituent propositions.

Official source
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
Related lectures (2)
Show more
Related publications (32)

Immeuble de grande hauteur en bois

Gian Marc Baracchini

Dans la plupart des pays la hauteur autorisée des bâtiments en bois est encore limitée par la loi. Malgré les grands progrès de la recherche en matière de protection contre les incendies, la hauteur maximale reste de trois à six étages, et seuls quelques pays, comme la Norvège, autorisent la construction de bâtiments de plus de huit étages - hauteur à partir de laquelle un bâtiment est considéré comme "haut" - en bois, matériau de construction combustible. Ces dernières années, de plus en plus de normes et labels ont vu le jour afin de promouvoir la durabilité dans le domaine de la construction, montrant une volonté des autorités de diminuer son impact écologique. Cependant, le bois, bien qu’étant un matériau dont la durabilité n’est plus à prouver face à l’acier et au béton, continue d’être freiné par ces limites législatives. C’est pourquoi je me suis décidé à effectuer mon projet de Master sur ce sujet. Les bâtiments en bois de grande hauteur ont un énorme potentiel dans le futur de la construction et leur domaine de recherche reste encore très peu développé.
2022

Introducing reinforcement learning to the energy system design process

Jean-Louis Scartezzini, Amarasinghage Tharindu Dasun Perera, Vahid Moussavi Nik

Design optimization of distributed energy systems has become an interest of a wider group of researchers due the capability of these systems to integrate non-dispatchable renewable energy technologies such as solar PV and wind. White box models, using line ...
2020

Modeling and Assessment of Urban Energy Systems

Amarasinghage Tharindu Dasun Perera

Improving the energy sustainability of our cities involves the integration of multiple renewable energy technologies into existing energy infrastructure, stretching the capabilities of traditional energy systems to the limit. To consider the transition tak ...
EPFL2019
Show more
Related people (5)
Related concepts (7)
Monoidal t-norm logic
In mathematical logic, monoidal t-norm based logic (or shortly MTL), the logic of left-continuous t-norms, is one of the t-norm fuzzy logics. It belongs to the broader class of substructural logics, or logics of residuated lattices; it extends the logic of commutative bounded integral residuated lattices (known as Höhle's monoidal logic, Ono's FLew, or intuitionistic logic without contraction) by the axiom of prelinearity. In fuzzy logic, rather than regarding statements as being either true or false, we associate each statement with a numerical confidence in that statement.
Łukasiewicz logic
In mathematics and philosophy, Łukasiewicz logic (ˌluːkəˈʃɛvɪtʃ , wukaˈɕɛvitʂ) is a non-classical, many-valued logic. It was originally defined in the early 20th century by Jan Łukasiewicz as a three-valued modal logic; it was later generalized to n-valued (for all finite n) as well as infinitely-many-valued (א0-valued) variants, both propositional and first order. The א0-valued version was published in 1930 by Łukasiewicz and Alfred Tarski; consequently it is sometimes called the ŁukasiewiczTarski logic.
T-norm
In mathematics, a t-norm (also T-norm or, unabbreviated, triangular norm) is a kind of binary operation used in the framework of probabilistic metric spaces and in multi-valued logic, specifically in fuzzy logic. A t-norm generalizes intersection in a lattice and conjunction in logic. The name triangular norm refers to the fact that in the framework of probabilistic metric spaces t-norms are used to generalize the triangle inequality of ordinary metric spaces.
Show more

Copyright © 2025 EPFL, all rights reserved

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.