Complexity Issues in Axiomatic Extensions of Lukasiewicz Logic

Autoři: doc. Ing. Petr Cintula, Ph.D. DSc.
Petr Hájek
Rok vydání: 2009
Typ publikace: Článek v odborném periodiku
Periodikum: Journal of Logic and Computation
Projekty: Institut Teoretické Informatiky
Matematické základy inference a rozhodování za nejistoty
Bibliografická citace: CINTULA, Petr, HÁJEK, Petr. Complexity Issues in Axiomatic Extensions of Lukasiewicz Logic. Journal of Logic and Computation. 2009, 19(2), 245-260. ISSN 0955-792X. E-ISSN 1465-363X
Dostupné z: doi:10.1093/logcom/exn052
DOI: 10.1093/logcom/exn052
ID: 310569

Abstrakt

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.