Počet záznamů: 1

Structural Completeness in Fuzzy Logics

  1. 1.
    0323928 - UIVT-O 2010 RIV US eng J - Článek v odborném periodiku
    Cintula, Petr - Metcalfe, G.
    Structural Completeness in Fuzzy Logics.
    [Strukturální úplnost ve fuzzy logikách.]
    Notre Dame Journal of Formal Logic. Roč. 50, č. 2 (2009), s. 153-183 ISSN 0029-4527
    Grant CEP: GA MŠk(CZ) 1M0545
    Výzkumný záměr: CEZ:AV0Z10300504
    Klíčová slova: structral logics * fuzzy logics * structural completeness * admissible rules * primitive variety * residuated lattices
    Kód oboru RIV: BA - Obecná matematika

    Structural completeness properties are investigated for a range of popular t-norm based fuzzy logics - including Lukasiewicz Logic, Godel Logic, Product Logic, and Hajek's Basic Logic - and their fragments. General methods are defined and used to establish these properties or exhibit their failure, solving a number of open problems.

    Vlastnost strukturální úplnosti je studována pro rodinu populárních t-normových fuzzy logik (včetně Lukasiewiczovi, Godelovi, produktové, a Hájkovi Basic Logic) a jejich fragmentů. Jsou definovány obecné metody, které jsou užity na dokázání nebo vyvrácení této vlastnosti, přičemž je vyřešena řada existujících otevřených problémů.
    Trvalý link: http://hdl.handle.net/11104/0171756
    Název souboruStaženoVelikostKomentářVerzePřístup
    0323928.pdf5794.8 KBAutorský preprintpovolen