Košík

    1.
    0460115 - ÚI 2017 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
    Baldi, Paolo - Ciabattoni, A.
    Standard Completeness for Uninorm-Based Logics.
    ISMVL 2015. IEEE 45th International Symposium on Multiple-Valued Logic. Los Alamitos: IEEE Computer Society, 2015, s. 78-83. ISBN 978-147991777-8. ISSN 2378-2226.
    [ISMVL 2015. IEEE International Symposium on Multiple-Valued Logic /45./. Waterloo (CA), 18.05.2015-20.05.2015]
    Grant CEP: GA ČR GAP202/10/1826
    Institucionální podpora: RVO:67985807
    Klíčová slova: density elimination * standard completeness * uninorm logic * hypersequent
    Kód oboru RIV: BA - Obecná matematika
    Trvalý link: http://hdl.handle.net/11104/0260250
    Název souboruStaženoVelikostKomentářVerzePřístup
    a0460115.pdf4267.6 KBVydavatelský postprintvyžádat
     
     

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

Přijmout všeNastaveníOdmítnout vše