Výsledky vyhledávání
- 1.0420892 - ÚI 2014 RIV PL eng J - Článek v odborném periodiku
Chvalovský, Karel
Note on D-Completeness and Prelinearity.
Bulletin of the Section of Logic. Roč. 42, 3-4 (2013), s. 111-118. ISSN 0138-0680
Grant CEP: GA ČR GAP202/10/1826; GA ČR GD401/09/H007
Institucionální podpora: RVO:67985807
Klíčová slova: logic * proof theory * condensed detachment * prelinearity
Kód oboru RIV: BA - Obecná matematika
http://www.filozof.uni.lodz.pl/bulletin/pdf/42_34_2.pdf
Trvalý link: http://hdl.handle.net/11104/0227351 - 2.0328135 - ÚI 2010 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Běhounek, Libor
Fuzzy Logics Interpreted as Logics of Resources.
[Interpretace fuzzy logik jakožto logik zdrojů.]
The Logica Yearbook 2008. London: College Publications, 2009 - (Peliš, M.), s. 1-13. ISBN 978-1-904987-46-8.
[Logica 2008. Hejnice (CZ), 16.06.2008-20.06.2008]
Grant CEP: GA AV ČR IAA900090703
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: fuzzy logic * linear logic * contraction-free substructural logics * resource-aware reasoning * prelinearity
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0174524Název souboru Staženo Velikost Komentář Verze Přístup 0328135.pdf 0 673.2 KB Autorský preprint povolen