Bases of admissible rules of Łukasiewicz logic

0351058 - MÚ 2011 RIV GB eng J - Journal Article
Jeřábek, Emil
Bases of admissible rules of Łukasiewicz logic.
Journal of Logic and Computation. Roč. 20, č. 6 (2010), s. 1149-1163. 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 : Łukasiewicz logic * admissible rule * bases of admissible rules
Subject RIV: BA - General Mathematics
Impact factor: 0.586, year: 2010
http://logcom.oxfordjournals.org/content/20/6/1149

We construct explicit bases of single-conclusion and multiple-conclusion admissible rules of propositional Łukasiewicz logic, and we prove that every formula has an admissibly saturated approximation. We also show that Łukasiewicz logic has no finite basis of admissible rules.
Permanent Link: http://hdl.handle.net/11104/0190892