Complexity Issues in Axiomatic Extensions of Lukasiewicz Logic

0310569 - ÚI 2009 RIV GB eng J - Journal Article
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
R&D Projects: GA MŠMT(CZ) 1M0545; GA AV ČR IAA100300503
Institutional research plan: CEZ:AV0Z10300504
Keywords : Lukasiewicz logic * computational complexity * Komori algebras * MV-algebras
Subject RIV: BA - General Mathematics
Impact factor: 0.789, year: 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.
Permanent Link: http://hdl.handle.net/11104/0162395