Výsledky vyhledávání
- 1.0380178 - ÚI 2013 RIV GB eng J - Článek v odborném periodiku
Hájek, Petr - Haniková, Zuzana
Interpreting lattice-valued set theory in fuzzy set theory.
Logic Journal of the IGPL. Roč. 21, č. 1 (2013), s. 77-90. ISSN 1367-0751. E-ISSN 1368-9894
Grant CEP: GA ČR GAP202/10/1826; GA MŠMT ME09110
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: lattice-valued logic * lattice-valued set theory * basic fuzzy logic * fuzzy set theory
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.530, rok: 2013
Trvalý link: http://hdl.handle.net/11104/0210958Název souboru Staženo Velikost Komentář Verze Přístup 0380178.pdf 2 692.6 KB Autorský preprint povolen - 2.0368496 - ÚI 2012 RIV NL eng J - Článek v odborném periodiku
Horčík, Rostislav - Terui, K.
Disjunction Property and Complexity of Substructural Logics.
Theoretical Computer Science. Roč. 412, č. 31 (2011), s. 3992-4006. ISSN 0304-3975. E-ISSN 1879-2294
Grant CEP: GA ČR GAP202/10/1826; GA MŠMT ME09110
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: substructural logics * disjunction property * computational complexity
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.665, rok: 2011
Trvalý link: http://hdl.handle.net/11104/0202825Název souboru Staženo Velikost Komentář Verze Přístup 0368496.pdf 0 642.3 KB Autorský preprint povolen