Search results
- 1.0343032 - FLÚ 2011 RIV GB eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR(CZ) GA401/07/0904
Institutional research plan: CEZ:AV0Z90090514
Keywords : inferentializability * semantic systems
Subject RIV: AA - Philosophy ; Religion
Permanent Link: http://hdl.handle.net/11104/0185608 - 2.0332828 - FLÚ 2010 RIV GB eng C - Conference Paper (international conference)
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]
R&D Projects: GA AV ČR(CZ) IAA900090703; GA ČR(CZ) GA401/07/0904
Institutional research plan: CEZ:AV0Z90090514
Keywords : relevant logic * epistemic logic * modal logic
Subject RIV: AA - Philosophy ; Religion
Permanent Link: http://hdl.handle.net/11104/0177961 - 3.0328135 - ÚI 2010 RIV GB eng C - Conference Paper (international conference)
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]
R&D Projects: GA AV ČR IAA900090703
Institutional research plan: CEZ:AV0Z10300504
Keywords : fuzzy logic * linear logic * contraction-free substructural logics * resource-aware reasoning * prelinearity
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0174524File Download Size Commentary Version Access 0328135.pdf 0 673.2 KB Author´s preprint open-access