Search results
- 1.0506960 - FLÚ 2020 RIV GB eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR(CZ) GA13-21076S
Institutional support: RVO:67985955
Keywords : inference * incompatibility * classical logic * intuitionist logic
OECD category: Philosophy, History and Philosophy of science and technology
Permanent Link: http://hdl.handle.net/11104/0298078 - 2.0436789 - FLÚ 2015 RIV GB eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR(CZ) GA13-21076S
Institutional support: RVO:67985955
Keywords : semantics * assertibility * intensionality * logical operators * natural deduction
Subject RIV: AA - Philosophy ; Religion
Permanent Link: http://hdl.handle.net/11104/0240453 - 3.0436561 - FLÚ 2015 RIV GB eng C - Conference Paper (international conference)
Š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]
R&D Projects: GA ČR(CZ) GA13-21076S
Institutional support: RVO:67985955
Keywords : Russian cards problem * epistemic logic * erotetic logic * public announcement
Subject RIV: AA - Philosophy ; Religion
Permanent Link: http://hdl.handle.net/11104/0240265 - 4.0428609 - FLÚ 2015 RIV GB eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR(CZ) GA13-21076S
Institutional support: RVO:67985955
Keywords : logic * reasoning * belief * proof * argument
Subject RIV: AA - Philosophy ; Religion
Permanent Link: http://hdl.handle.net/11104/0233925