Počet záznamů: 1
Bases of admissible rules of Łukasiewicz logic
- 1.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
Název souboru Staženo Velikost Komentář Verze Přístup Jerabek3.pdf 4 153.2 KB Vydavatelský postprint vyžádat
Počet záznamů: 1