Počet záznamů: 1

Complexity Issues in Axiomatic Extensions of Lukasiewicz Logic

  1. 1.
    0310569 - UIVT-O 2009 RIV GB eng J - Článek v odborném periodiku
    Cintula, Petr - Hájek, Petr
    Complexity Issues in Axiomatic Extensions of Lukasiewicz Logic.
    [Problémy složitosti v axiomatických rozšířeních Lukasiewiczovy logiky.]
    Journal of Logic and Computation. Roč. 19, č. 2 (2009), s. 245-260 ISSN 0955-792X
    Grant CEP: GA MŠk(CZ) 1M0545; GA AV ČR IAA100300503
    Výzkumný záměr: CEZ:AV0Z10300504
    Klíčová slova: Lukasiewicz logic * computational complexity * Komori algebras * MV-algebras
    Kód oboru RIV: BA - Obecná matematika
    Impakt faktor: 0.789, rok: 2009

    In this article, the computational complexity of all axiomatic extensions of Lukasiewicz propositional logic L and the arithmetical complexity of both the general and standard semantics of their corresponding predicate logics is determined.

    V tomto článku určíme jak výpočtovou složitost všech axiomatických rozšíření výrokové Lukasiewiczovy logiky tak i aritmetickou složitost obecné a standardní semantiky příslušných predikátových logik.
    Trvalý link: http://hdl.handle.net/11104/0162395
    Název souboruStaženoVelikostKomentářVerzePřístup
    0310569.pdf2732 KBAutorský postprintpovolen