0405561 - UIVT-O 330941 RIV ES eng C - Conference Paper (international conference)
Horčík, RostislavStronger 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]
R&D Projects: GA AV ČR 1ET100300517
Institutional research plan: CEZ:AV0Z10300504
Keywords : monoidal t-norm based logic * left-continuous t-norm * fuzzy logic
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0125716