Výsledky vyhledávání
- 1.0506960 - FLÚ 2020 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Peregrin, Jaroslav
Incompatibility and Inference as Bases of Logic.
The Logica Yearbook 2015. London: College Publications, 2016 - (Arazim, P.; Dančák, M.), s. 157-162. ISBN 978-1-84890-213-8.
[Logica 2015. Hejnice (CZ), 15.06.2015-19.06.2015]
Grant CEP: GA ČR(CZ) GA13-21076S
Institucionální podpora: RVO:67985955
Klíčová slova: inference * incompatibility * classical logic * intuitionist logic
Obor OECD: Philosophy, History and Philosophy of science and technology
Trvalý link: http://hdl.handle.net/11104/0298078 - 2.0436789 - FLÚ 2015 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Punčochář, Vít
Intensionalisation of Logical Operators.
The logica yearbook 2013. London: College Publications, 2014 - (Dančák, M.; Punčochář, V.), s. 173-185. ISBN 978-1-84890-144-5.
[Logica 2013. Hejnice (CZ), 17.06.2013-21.06.2013]
Grant CEP: GA ČR(CZ) GA13-21076S
Institucionální podpora: RVO:67985955
Klíčová slova: semantics * assertibility * intensionality * logical operators * natural deduction
Kód oboru RIV: AA - Filosofie a náboženství
Trvalý link: http://hdl.handle.net/11104/0240453 - 3.0436561 - FLÚ 2015 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Švarný, P. - Majer, Ondrej - Peliš, Michal
Erotetic epistemic logic in private communication protocol.
The logica yearbook 2013. London: College Publications, 2014 - (Dančák, M.; Punčochář, V.), s. 223-238. ISBN 978-1-84890-144-5.
[Logica 2013. Hejnice (CZ), 17.06.2013-21.06.2013]
Grant CEP: GA ČR(CZ) GA13-21076S
Institucionální podpora: RVO:67985955
Klíčová slova: Russian cards problem * epistemic logic * erotetic logic * public announcement
Kód oboru RIV: AA - Filosofie a náboženství
Trvalý link: http://hdl.handle.net/11104/0240265 - 4.0428609 - FLÚ 2015 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Peregrin, Jaroslav
Logic and Reasoning.
The logica yearbook 2013. London: College Publications, 2014 - (Dančák, M.; Punčochář, V.), s. 143-160. ISBN 978-1-84890-144-5.
[Logica 2013. Hejnice (CZ), 17.06.2013-21.06.2013]
Grant CEP: GA ČR(CZ) GA13-21076S
Institucionální podpora: RVO:67985955
Klíčová slova: logic * reasoning * belief * proof * argument
Kód oboru RIV: AA - Filosofie a náboženství
Trvalý link: http://hdl.handle.net/11104/0233925