Počet záznamů: 1  

On the Failure of Standard Completeness in PiMTL for Infinite Theories

  1. 1.
    0079129 - ÚI 2008 RIV NL eng J - Článek v odborném periodiku
    Horčík, Rostislav
    On the Failure of Standard Completeness in PiMTL for Infinite Theories.
    [PiMTL nemá silnou standardní úplnost pro nekonečné teorie.]
    Fuzzy Sets and Systems. Roč. 158, č. 6 (2007), s. 619-624. ISSN 0165-0114. E-ISSN 1872-6801
    Zdroj financování: V - jiné veřejné zdroje
    Klíčová slova: strong standard completeness * monoidal t-norm based logic (MTL) * basic fuzzy logic (BL) * product logic * Lukasiewicz logic * PiMTL * IMTL
    Kód oboru RIV: BA - Obecná matematika
    Impakt faktor: 1.373, rok: 2007

    It is well-known that Hájek's Basic Fuzzy Logic (BL), Lukasiewicz logic, and product logic are not strongly standard complete. On the other hand Esteva and Godo's Monoidal T-norm Based Logic (MTL) and its involutive extension IMTL are strongly standard complete. In this paper we show that PiMTL (an extension of MTL by the axioms characteristic of product logic) does not enjoy the strong standard completeness theorem like BL, Lukasiewicz, and product logic.

    Je dobře známo, že Hájkova Basic Fuzzy Logic (BL), Lukasiewiczova logika a produktová logika nejsou silně standardně úplné. Na druhou stranu monoidální t-normová logika MTL a její involutivní rozšíření IMTL jsou silně standardně úplné. V článku ukazujeme, že PiMTL (kancelativní rozšíření MTL) není silně standardně úplná podobně jako BL, Lukasiewiczova a produktová logika.
    Trvalý link: http://hdl.handle.net/11104/0144000

     
    Název souboruStaženoVelikostKomentářVerzePřístup
    0079129.pdf1270.6 KBAutorský preprintpovolen
     
Počet záznamů: 1  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.