Název: Weakly Implicative Predicate Fuzzy Logics
Překlad názvu: Slabě implikační predikátové fuzzy logiky
Autoři: Cintula, Petr
Typ dokumentu: Příspěvky z konference
Konference/Akce: The Logic of Soft Computing /4./, Workshop of the ERCIM Working Group on Soft Computing, Ostrava (CZ), 2005-10-05 / 2005-10-07
Rok: 2005
Jazyk: eng
Abstrakt: [eng] [cze]
There are two classes of propositional logics related to the area of mathematical fuzzy logics proposed in work of the author (see also joint paper by the author and Libor Běhounek where philosophical, methodological, and pragmatical reasons for introducing these two classes appear.) After we recall same basic definitions we turn our attention to the first-order variants of these two classes of logics. The results presented here are mainly from the author's thesis and his upcoming paper. Because of the lack of space we present the basic definitions and theorems only and we completely disregard the important concept of Baaz delta. Autor tohoto článku navrhl dvě třídy výrokových logik jež se vztahují k matematické fuzzy logice (viz. také jeho společný članek s L. Běhounkem o filosofických, metodologických a pragmatických důvodech pro zavedení těchto tříd). Po připomenutí základních definic se budeme zabývat prvo-řádovými variantami logik z těchto dvou tříd. Zde prezentované výsledky jsou obsaženy v autorovi doktorské disertaci a jeho připravovaném článku. Z duvodu prostorového omezení zde prezentujeme jen základní definice a věty (např. úplně vynecháme duležitou problematiku tzv. Baazova delta).
Klíčová slova: fuzzy logic; predicate logic; weakly implicative logic
Číslo projektu: IAA100300503 (CEP), CEZ:AV0Z10300504 (CEP)
Poskytovatel projektu: GA AV ČR
Zdrojový dokument: Proceedings

Instituce: Ústav informatiky AV ČR (web)
Informace o dostupnosti dokumentu: Dokument je dostupný v příslušném ústavu Akademie věd ČR.
Původní záznam: http://hdl.handle.net/11104/0125724

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-34188


Záznam je zařazen do těchto sbírek:
Věda a výzkum > AV ČR > Ústav informatiky
Konferenční materiály > Příspěvky z konference