Výsledky vyhledávání
- 1.0343032 - FLÚ 2011 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Peregrin, Jaroslav
Inferentializing Consequence.
The Logica Yearbook 2008. London: College Publications, 2009 - (Peliš, M.), s. 147-160. ISBN 978-1-904987-46-8.
[Logica 2008. Hejnice (CZ), 16.06.2008-20.06.2008]
Grant CEP: GA ČR(CZ) GA401/07/0904
Výzkumný záměr: CEZ:AV0Z90090514
Klíčová slova: inferentializability * semantic systems
Kód oboru RIV: AA - Filosofie a náboženství
Trvalý link: http://hdl.handle.net/11104/0185608 - 2.0332828 - FLÚ 2010 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Peliš, Michal
Epistemic Logic with Relevant Agents.
[Epistemická logika s relevančními agenty.]
The Logica Yearbook 2008. London: College Publications, 2009 - (Peliš, M.), s. 123-135. ISBN 978-1-904987-46-8.
[Logica 2008. Hejnice (CZ), 16.06.2008-20.06.2008]
Grant CEP: GA AV ČR(CZ) IAA900090703; GA ČR(CZ) GA401/07/0904
Výzkumný záměr: CEZ:AV0Z90090514
Klíčová slova: relevant logic * epistemic logic * modal logic
Kód oboru RIV: AA - Filosofie a náboženství
Trvalý link: http://hdl.handle.net/11104/0177961 - 3.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