Bases of admissible rules of Łukasiewicz logic

0351058 - MÚ 2011 RIV GB eng J - Článek v odborném periodiku
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
Grant CEP: GA AV ČR IAA900090703; GA AV ČR IAA100190902; GA MŠMT(CZ) 1M0545
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: Łukasiewicz logic * admissible rule * bases of admissible rules
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.586, rok: 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.
Trvalý link: http://hdl.handle.net/11104/0190892