Počet záznamů: 1
Bases of admissible rules of Łukasiewicz logic
- 1.
SYSNO ASEP 0351058 Druh ASEP J - Článek v odborném periodiku Zařazení RIV J - Článek v odborném periodiku Poddruh J Článek ve WOS Název Bases of admissible rules of Łukasiewicz logic Tvůrce(i) Jeřábek, Emil (MU-W) RID, SAI, ORCID Zdroj.dok. Journal of Logic and Computation - ISSN 0955-792X
Roč. 20, č. 6 (2010), s. 1149-1163Poč.str. 15 s. Jazyk dok. eng - angličtina Země vyd. GB - Velká Británie Klíč. slova Łukasiewicz logic ; admissible rule ; bases of admissible rules Vědní obor RIV BA - Obecná matematika CEP IAA900090703 GA AV ČR - Akademie věd IAA100190902 GA AV ČR - Akademie věd 1M0545 GA MŠMT - Ministerstvo školství, mládeže a tělovýchovy CEZ AV0Z10190503 - MU-W (2005-2011) UT WOS 000284432700001 EID SCOPUS 78649459013 DOI 10.1093/logcom/exp082 Anotace 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. Pracoviště Matematický ústav Kontakt Jarmila Štruncová, struncova@math.cas.cz, library@math.cas.cz, Tel.: 222 090 757 Rok sběru 2011
Počet záznamů: 1