Search results
- 1.0584970 - FLÚ 2025 CH eng M - Monography Chapter
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 - others:AV ČR(CZ) LQ300092101
Program: Prémie Lumina quaeruntur
Institutional support: RVO:67985955
Keywords : deduction * proof * inference
OECD category: Philosophy, History and Philosophy of science and technology
https://doi.org/10.1007/978-3-031-51406-7_1
Permanent Link: https://hdl.handle.net/11104/0353177 - 2.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