Admissible Rules of Lukasiewicz Logic

0343478 - MÚ 2011 RIV GB eng J - Journal Article
Jeřábek, Emil
Admissible Rules of Lukasiewicz Logic.
Journal of Logic and Computation. Roč. 20, č. 2 (2010), s. 425-447. ISSN 0955-792X. E-ISSN 1465-363X
R&D Projects: GA AV ČR IAA900090703; GA AV ČR IAA100190902; GA MŠMT(CZ) 1M0545
Institutional research plan: CEZ:AV0Z10190503
Keywords : linear temporal logic * unification * consecutions
Subject RIV: BA - General Mathematics
Impact factor: 0.586, year: 2010
http://logcom.oxfordjournals.org/content/20/2/425

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).
Permanent Link: http://hdl.handle.net/11104/0185948