Počet záznamů: 1
Admissible Rules of Lukasiewicz Logic
- 1.
SYSNO ASEP 0343478 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 Admissible Rules of Lukasiewicz Logic Tvůrce(i) Jeřábek, Emil (MU-W) RID, SAI, ORCID Zdroj.dok. Journal of Logic and Computation - ISSN 0955-792X
Roč. 20, č. 2 (2010), s. 425-447Poč.str. 23 s. Jazyk dok. eng - angličtina Země vyd. GB - Velká Británie Klíč. slova linear temporal logic ; unification ; consecutions 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 000276843800003 EID SCOPUS 77950343051 DOI 10.1093/logcom/exp078 Anotace 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). 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