Počet záznamů: 1

Admissible Rules of Lukasiewicz Logic

  1. 1.
    0343478 - MU-W 2011 RIV GB eng J - Článek v odborném periodiku
    Jeřábek, Emil
    Admissible Rules of Lukasiewicz Logic.
    Journal of Logic and Computation. Roč. 20, č. 2 (2010), s. 425-447 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: linear temporal logic * unification * consecutions
    Kód oboru RIV: BA - Obecná matematika
    Impakt faktor: 0.586, rok: 2010
    http://logcom.oxfordjournals.org/content/20/2/425

    We investigate admissible rules of Lukasiewicz multi-valued propositional logic. We show that admissibility of multiple-conclusion rules in Lukasiewicz logic, as well as validity of universal sentences in free MV-algebras, is decidable (in PSPACE).
    Trvalý link: http://hdl.handle.net/11104/0185948
    Název souboruStaženoVelikostKomentářVerzePřístup
    Jerabek1.pdf9294.3 KBAutorský postprintvyžádat