Počet záznamů: 1
Complexity Issues in Axiomatic Extensions of Lukasiewicz Logic
- 1.0310569 - ÚI 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. E-ISSN 1465-363X
Grant CEP: GA MŠMT(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 souboru Staženo Velikost Komentář Verze Přístup 0310569.pdf 5 732 KB Autorský postprint povolen
Počet záznamů: 1