Complexity Issues in Axiomatic Extensions of Lukasiewicz Logic

Petr Cintula, Petr Hájek. Complexity Issues in Axiomatic Extensions of Lukasiewicz Logic. Journal of Logic and Computation, 19(2):245-260, 2009. [doi]

Abstract

Abstract is missing.