Vytisknout
0405561 - UIVT-O 330941 RIV ES eng C - Konferenční příspěvek (zahraniční konf.)
Horčík, Rostislav
Stronger Version of Standard Completness Theorem for MTL.
[Silnější verze věty o standardní úplnosti MTL.]
Fuzzy Logic and Technology. Barcelona, 2005 - (Montseny, E.; Sobrevilla, P.), s. 878-883. ISBN 84-7683-872-3.
[EUSFLAT - LFA 2005. Conference of the European Society for Fuzzy Logic and Technology /13./, Recontres Francophones sur la Logique Floue et ses Applications /11./. Barcelona (ES), 07.09.2005-09.09.2005]
Grant CEP: GA AV ČR 1ET100300517
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: monoidal t-norm based logic * left-continuous t-norm * fuzzy logic
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125716
Horčík, Rostislav
Stronger Version of Standard Completness Theorem for MTL.
[Silnější verze věty o standardní úplnosti MTL.]
Fuzzy Logic and Technology. Barcelona, 2005 - (Montseny, E.; Sobrevilla, P.), s. 878-883. ISBN 84-7683-872-3.
[EUSFLAT - LFA 2005. Conference of the European Society for Fuzzy Logic and Technology /13./, Recontres Francophones sur la Logique Floue et ses Applications /11./. Barcelona (ES), 07.09.2005-09.09.2005]
Grant CEP: GA AV ČR 1ET100300517
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: monoidal t-norm based logic * left-continuous t-norm * fuzzy logic
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125716