Admissible Rules of Lukasiewicz Logic

We investigate admissible rules of Lukasiewicz multi-valued propositional logic. We show that admissibility of multiple-conclusion rules in Lukasiewicz logic, as well as validity of universal sentences in free MV -algebras, is decidable (in PSPACE).

• Type: Journal
• Year: 2010
• Where: LOGCOM
• Authors: Emil Jerábek
• Keywords: Free Mv -algebras, LOGCOM 2010, Lukasiewicz Logic, Multi-valued Propositional Logic