Complexity Issues in Axiomatic Extensions of Lukasiewicz Logic

Počet záznamů: 1

1.

SYSNO ASEP	0310569
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	Complexity Issues in Axiomatic Extensions of Lukasiewicz Logic
Překlad názvu	Problémy složitosti v axiomatických rozšířeních Lukasiewiczovy logiky
Tvůrce(i)	Cintula, Petr (UIVT-O)_{RID, ORCID, SAI} Hájek, Petr (UIVT-O)_{RID, SAI}
Zdroj.dok.	Journal of Logic and Computation - ISSN 0955-792X Roč. 19, č. 2 (2009), s. 245-260
Poč.str.	16 s.
Jazyk dok.	eng - angličtina
Země vyd.	GB - Velká Británie
Klíč. slova	Lukasiewicz logic ; computational complexity ; Komori algebras ; MV-algebras
Vědní obor RIV	BA - Obecná matematika
CEP	1M0545 GA MŠMT - Ministerstvo školství, mládeže a tělovýchovy
	IAA100300503 GA AV ČR - Akademie věd
CEZ	AV0Z10300504 - UIVT-O (2005-2011)
UT WOS	000264656300001
EID SCOPUS	65249113849
DOI	10.1093/logcom/exn052
Anotace	In this article, the computational complexity of all axiomatic extensions of Lukasiewicz propositional logic L and the arithmetical complexity of both the general and standard semantics of their corresponding predicate logics is determined.
Pracoviště	Ústav informatiky
Kontakt	Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800
Rok sběru	2009

Počet záznamů: 1