Search results
- 1.0585478 - FLÚ 2025 RIV GB eng C - Conference Paper (international conference)
Piccolomini d’Aragona, Antonio
Four constructivist attitudes in Prawitzian semantics.
The Logica Yearbook 2022. London: College Publications, 2023 - (Sedlár, I.), s. 135-151. ISBN 978-1-84890-446-0.
[Logica 2022. Teplá (CZ), 11.09.2023-15.09.2023]
Grant - others:AV ČR(CZ) LQ300092101
Program: Prémie Lumina quaeruntur
Institutional support: RVO:67985955
Keywords : construsctivism * proof * monotonicity * schematicity
OECD category: Philosophy, History and Philosophy of science and technology
https://www.collegepublications.co.uk/logica/?00036
Permanent Link: https://hdl.handle.net/11104/0353196 - 2.0583586 GB BXXS
Sedlár, I. (ed.)
The Logica Yearbook 2022.
London: College Publications, 2023. ISBN 978-1-84890-446-0 - 3.0583521 - FLÚ 2024 RIV GB eng C - Conference Paper (international conference)
Peregrin, Jaroslav - Svoboda, Vladimír
Logical Pluralism and Genuine Logic.
The Logica Yearbook 2022. London: College Publications, 2023 - (Sedlár, I.), s. 119-134. ISBN 978-1-84890-446-0.
[Logica 2022. Teplá (CZ), 11.09.2023-15.09.2023]
R&D Projects: GA ČR(CZ) GA20-18675S
Institutional support: RVO:67985955
Keywords : logical pluralism * Beall * Restall * collapse argument
OECD category: Philosophy, History and Philosophy of science and technology
https://www.collegepublications.co.uk/logica/?00036
Permanent Link: https://hdl.handle.net/11104/0351594 - 4.0569076 - FLÚ 2023 RIV GB eng M - Monography Chapter
Svoboda, Vladimír
Are Deontic Modals Hyperintensional?
Logically Speaking. A Festschrift for Marie Duží. London: College Publications, 2022 - (Materna, P.; Jespersen, B.), s. 257-284. Tributes, 49. ISBN 978-1-84890-419-4
Institutional support: RVO:67985955
Keywords : deontic logic * deontic modals * hyperintensional logic * logical analysis
OECD category: Philosophy, History and Philosophy of science and technology
https://www.collegepublications.co.uk/tributes/?00049
Permanent Link: https://hdl.handle.net/11104/0340785 - 5.0568686 - FLÚ 2023 RIV GB eng M - Monography Chapter
Pezlar, Ivo
Going Nowhere and Back. Is Trivialization the Same as Zero Execution?
Logically Speaking. A Festschrift for Marie Duží. London: College Publications, 2022 - (Materna, P.; Jespersen, B.), s. 187-202. Tributes, 49. ISBN 978-1-84890-419-4
Grant - others:AV ČR(CZ) LQ300092101
Program: Prémie Lumina quaeruntur
Institutional support: RVO:67985955
Keywords : transparent intensional logic * execution construction * trivialization construction * procedural semantics
OECD category: Philosophy, History and Philosophy of science and technology
https://www.collegepublications.co.uk/tributes/?00049
Permanent Link: https://hdl.handle.net/11104/0339997 - 6.0568685 BXXS
Materna, P. (ed.) - Jespersen, B. (ed.)
Logically Speaking. A Festschrift for Marie Duží.
London: College Publications, 2022. Tributes, 49. ISBN 978-1-84890-419-4 - 7.0566907 - FLÚ 2023 RIV GB eng G - Proceedings (international conference)
Marvan, Tomáš (ed.) - Andersen, H. (ed.) - Chang, H. (ed.) - Lōwe, B. (ed.) - Pezlar, Ivo (ed.)
Logic, Methodology and Philosophy of Science and Technology. Bridging Across Academic Cultures. Proceedings of the Sixteenth International Congress in Prague.
Rickmansworth: College Publications, 2022. 341 s. ISBN 978-1-84890-368-5.
[CLMPST 2019: The International Congress of Logic, Methodology and Philosophy of Science and Technology /16./. Prague (CZ), 05.10.2019-10.10.2019]
Institutional support: RVO:67985955
Keywords : logic * philosophy of science * science * models * inquiry
OECD category: Philosophy, History and Philosophy of science and technology
http://www.collegepublications.co.uk/downloads/lmps00017.pdf
Permanent Link: https://hdl.handle.net/11104/0338600 - 8.0566801 - ÚI 2024 RIV GB eng C - Conference Paper (international conference)
Sedlár, Igor - Vigiani, P.
Relevant Reasoners in a Classical World.
Advances in Modal Logic. Volume 14. London: College Publications, 2022 - (Fernández-Duque, D.; Palmigiano, A.; Pinchinat, S.), s. 697-717, č. článku 196432. ISBN 978-1-84890-413-2.
[AIML 2022: Advances in Modal Logic. Rennes (FR), 22.08.2022-25.08.2022]
R&D Projects: GA ČR(CZ) GA22-01137S
Institutional support: RVO:67985807
Keywords : epistemic logic * logical omniscience * non-normal worlds * relevant logic
OECD category: Pure mathematics
https://www.collegepublications.co.uk/aiml/?00011
Permanent Link: https://hdl.handle.net/11104/0338087File Download Size Commentary Version Access 0566801-apre-arxiv.pdf 1 293.3 KB https://arxiv.org/abs/2206.03109v1 Author´s preprint open-access - 9.0563969 - FLÚ 2023 RIV GB spa C - Conference Paper (international conference)
Crippa, Davide - Giovannini, E.N.
Algebra y clasification de problemas geometricos. Una herencia cartesiana.
[Algebra and classification of geometric problems. A Cartesian heritage.]
De Mathematicae atque Philosophiae Elegantia. Notas festivas para Abel Lassalle Casanave. London: College Publications, 2022 - (Dalva Secco, G.; Sauter, F.; Esquisabel, O.; Sanz, W.), s. 6-21. Cuadernos de lógica, epistemología y lenguaje, 18. ISBN 978-1-84890-382-1.
[De Mathematicae atque Philosophiae Elegantia. Santa Maria (BR), 26.10.2019-26.10.2019]
R&D Projects: GA ČR(CZ) GJ19-03125Y
Institutional support: RVO:67985955
Keywords : Descartes * Hilbert * geometry * foundations
OECD category: Philosophy, History and Philosophy of science and technology
https://www.collegepublications.co.uk/cuadernos/?00018
Permanent Link: https://hdl.handle.net/11104/0339627 - 10.0563968 GB BXXS
Dalva Secco, G. (ed.) - Sauter, F.T. (ed.) - Esquisabel, O.M. (ed.) - Sanz, W. (ed.)
De Mathematicae atque Philosophiae Elegantia. Notas festivas para Abel Lassalle Casanave.
[De Mathematicae atque Philosophiae Elegantia. Festschrifft for Abel Lassalle Casanave.]
London: College Publications, 2022. Cuadernos de lógica, epistemología y lenguaje, 18. ISBN 978-1-84890-382-1