Admissible Rules of Lukasiewicz Logic
Emil Jeřábek · Journal of Logic and Computation · 2010
We investigate admissible rules of Łukasiewicz multi-valued propositional logic. We show that admissibility of multiple-conclusion rules in Łukasiewicz logic, as well as validity of universal sentences in free MV-algebras, is decidable (in PSPACE).