Výsledky vyhledávání
- 1.0584970 - FLÚ 2025 CH eng M - Část monografie knihy
Piccolomini d’Aragona, Antonio
Deduction at the crossroads.
Perspectives on Deduction. Contemporary Studies in the Philosophy, History and Formal Theories of Deduction. Cham: Springer, 2024 - (Piccolomini d’Aragona, A.), s. 1-19. Synthese Library. Studies in Epistemology, Logic, Methodology, and Philosophy of Science, 481. ISBN 978-3-031-51405-0
Grant ostatní: AV ČR(CZ) LQ300092101
Program: Prémie Lumina quaeruntur
Institucionální podpora: RVO:67985955
Klíčová slova: deduction * proof * inference
Obor OECD: Philosophy, History and Philosophy of science and technology
https://doi.org/10.1007/978-3-031-51406-7_1
Trvalý link: https://hdl.handle.net/11104/0353177 - 2.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