Výsledky vyhledávání
- 1.0585478 - FLÚ 2025 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
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 ostatní: AV ČR(CZ) LQ300092101
Program: Prémie Lumina quaeruntur
Institucionální podpora: RVO:67985955
Klíčová slova: construsctivism * proof * monotonicity * schematicity
Obor OECD: Philosophy, History and Philosophy of science and technology
https://www.collegepublications.co.uk/logica/?00036
Trvalý 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 - Konferenční příspěvek (zahraniční konf.)
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]
Grant CEP: GA ČR(CZ) GA20-18675S
Institucionální podpora: RVO:67985955
Klíčová slova: logical pluralism * Beall * Restall * collapse argument
Obor OECD: Philosophy, History and Philosophy of science and technology
https://www.collegepublications.co.uk/logica/?00036
Trvalý link: https://hdl.handle.net/11104/0351594 - 4.0569076 - FLÚ 2023 RIV GB eng M - Část monografie knihy
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
Institucionální podpora: RVO:67985955
Klíčová slova: deontic logic * deontic modals * hyperintensional logic * logical analysis
Obor OECD: Philosophy, History and Philosophy of science and technology
https://www.collegepublications.co.uk/tributes/?00049
Trvalý link: https://hdl.handle.net/11104/0340785 - 5.0568686 - FLÚ 2023 RIV GB eng M - Část monografie knihy
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 ostatní: AV ČR(CZ) LQ300092101
Program: Prémie Lumina quaeruntur
Institucionální podpora: RVO:67985955
Klíčová slova: transparent intensional logic * execution construction * trivialization construction * procedural semantics
Obor OECD: Philosophy, History and Philosophy of science and technology
https://www.collegepublications.co.uk/tributes/?00049
Trvalý 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 - Konferenční sborník (zahraniční konf.)
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]
Institucionální podpora: RVO:67985955
Klíčová slova: logic * philosophy of science * science * models * inquiry
Obor OECD: Philosophy, History and Philosophy of science and technology
http://www.collegepublications.co.uk/downloads/lmps00017.pdf
Trvalý link: https://hdl.handle.net/11104/0338600 - 8.0566801 - ÚI 2024 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
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]
Grant CEP: GA ČR(CZ) GA22-01137S
Institucionální podpora: RVO:67985807
Klíčová slova: epistemic logic * logical omniscience * non-normal worlds * relevant logic
Obor OECD: Pure mathematics
https://www.collegepublications.co.uk/aiml/?00011
Trvalý link: https://hdl.handle.net/11104/0338087Název souboru Staženo Velikost Komentář Verze Přístup 0566801-apre-arxiv.pdf 1 293.3 KB https://arxiv.org/abs/2206.03109v1 Autorský preprint povolen - 9.0563969 - FLÚ 2023 RIV GB spa C - Konferenční příspěvek (zahraniční konf.)
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]
Grant CEP: GA ČR(CZ) GJ19-03125Y
Institucionální podpora: RVO:67985955
Klíčová slova: Descartes * Hilbert * geometry * foundations
Obor OECD: Philosophy, History and Philosophy of science and technology
https://www.collegepublications.co.uk/cuadernos/?00018
Trvalý 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