All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”

Residuated logics based on strict triangular norms with an involutive negation

The result's identifiers

  • Result code in IS VaVaI

    <a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17610%2F06%3A00000219" target="_blank" >RIV/61988987:17610/06:00000219 - isvavai.cz</a>

  • Alternative codes found

    RIV/67985807:_____/06:00405635

  • Result on the web

  • DOI - Digital Object Identifier

Alternative languages

  • Result language

    angličtina

  • Original language name

    Residuated logics based on strict triangular norms with an involutive negation

  • Original language description

    In general, there is only one fuzzy logic in which the standard interpretation of the strong conjunction is a strict t-norm, namely, the product logic. We study several equations which are satisfied by some strict t-norms and their dual t-conorms. Addingan involutive negation, these equations allow us ti generate countably many logics based on strict t-norms which are different from the product logic.

  • Czech name

    Reziduované logiky založené na striktných trojuholníkových normách s involutívnou negáciou

  • Czech description

    Vo všeobecnosti existuje len jedna fuzzy logika, v ktorej je konjunkcia interpretovana striktnou trojuholníkovou normou, menovite produktová logika. V článku študujeme viaceré rovnice splnené niektorými striktnými trojuholníkovými normami a ich dualnymikonormami. Po pridaní involtívnej negácie nám tieto rovnice umožňujú generovať spočitateľne veľa logík založených na striktných trojuholníkových normách, ktoré sa líšia od produktovej logiky.

Classification

  • Type

    J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)

  • CEP classification

    BA - General mathematics

  • OECD FORD branch

Result continuities

  • Project

    <a href="/en/project/1M0545" target="_blank" >1M0545: Institute for Theoretical Computer Science</a><br>

  • Continuities

    Z - Vyzkumny zamer (s odkazem do CEZ)

Others

  • Publication year

    2006

  • Confidentiality

    S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Data specific for result type

  • Name of the periodical

    Math. Logic Quarterly

  • ISSN

    0942-5616

  • e-ISSN

  • Volume of the periodical

    52

  • Issue of the periodical within the volume

    6

  • Country of publishing house

    US - UNITED STATES

  • Number of pages

    14

  • Pages from-to

    269

  • UT code for WoS article

  • EID of the result in the Scopus database