Počet záznamů: 1

Bases of admissible rules of Łukasiewicz logic

  1. 1.
    0351058 - MU-W 2011 RIV GB eng J - Článek v odborném periodiku
    Jeřábek, Emil
    Bases of admissible rules of Łukasiewicz logic.
    Journal of Logic and Computation. Roč. 20, č. 6 (2010), s. 1149-1163 ISSN 0955-792X
    Grant CEP: GA AV ČR IAA900090703; GA AV ČR IAA100190902; GA MŠk(CZ) 1M0545
    Výzkumný záměr: CEZ:AV0Z10190503
    Klíčová slova: Łukasiewicz logic * admissible rule * bases of admissible rules
    Kód oboru RIV: BA - Obecná matematika
    Impakt faktor: 0.586, rok: 2010
    http://logcom.oxfordjournals.org/content/20/6/1149

    We construct explicit bases of single-conclusion and multiple-conclusion admissible rules of propositional Łukasiewicz logic, and we prove that every formula has an admissibly saturated approximation. We also show that Łukasiewicz logic has no finite basis of admissible rules.
    Trvalý link: http://hdl.handle.net/11104/0190892
    Název souboruStaženoVelikostKomentářVerzePřístup
    Jerabek3.pdf4153.2 KBVydavatelský postprintvyžádat