Výsledky vyhledávání
- 1.0573743 - FLÚ 2024 RIV DE eng J - Článek v odborném periodiku
Piccolomini d’Aragona, Antonio
The proof-theoretic square.
Synthese. Roč. 201, č. 6 (2023), č. článku 219. ISSN 0039-7857. E-ISSN 1573-0964
Grant ostatní: AV ČR(CZ) LQ300092101
Program: Prémie Lumina quaeruntur
Institucionální podpora: RVO:67985955
Klíčová slova: Prawitz * proof-theoretic semantics * justification * validity * inference
Obor OECD: Philosophy, History and Philosophy of science and technology
Impakt faktor: 1.5, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1007/s11229-023-04203-5
Trvalý link: https://hdl.handle.net/11104/0344328 - 2.0572286 - FLÚ 2024 RIV NL eng R - Recenze
Pezlar, Ivo
Nils Kürbis. Proof and Falsity. A Logical Investigation [Review].
[KÜRBIS, N.: Proof and falsity: a logical investigation. First published. Cambridge: Cambridge University Press, 2019. viii, 308 stran. ISBN 978-1-108-48130-4.]. Studia Logica. Springer. Roč. 111, č. 2 (2023), s. 353-356. ISSN 0039-3215. E-ISSN 1572-8730
Grant ostatní: AV ČR(CZ) LQ300092101
Program: Prémie Lumina quaeruntur
Institucionální podpora: RVO:67985955
Klíčová slova: logic * inferentialism * proof-theoretic semantics
Obor OECD: Philosophy, History and Philosophy of science and technology
Způsob publikování: Omezený přístup
https://doi.org/10.1007/s11225-022-10002-9
Trvalý link: https://hdl.handle.net/11104/0343157 - 3.0546974 - FLÚ 2022 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Pezlar, Ivo
A Note on Paradoxical Propositions from an Inferential Point of View.
The Logica Yearbook 2020. London: College Publications, 2021 - (Blicha, M.; Sedlár, I.), s. 183-199. ISBN 978-1-84890-376-0.
[Logica 2020. Hejnice (CZ), 15.06.2020-19.06.2020]
Grant CEP: GA ČR(CZ) GA19-12420S
Institucionální podpora: RVO:67985955
Klíčová slova: proof-theoretic semantics * constructive type theory * paradox * inductive definitions * Martin-Löf
Obor OECD: Philosophy, History and Philosophy of science and technology
Trvalý link: http://hdl.handle.net/11104/0323342 - 4.0510608 - FLÚ 2020 US eng R - Recenze
Peregrin, Jaroslav
[Review].
[KÜRBIS, Nils.: Proof and Falsity: A Logical Investigation. Cambridge: Cambridge University Press, 2019. 308 s. ISBN 9781108481304]. Notre Dame Philosophical Reviews. -, 2019.11.03 (2019), s. 1-5. ISSN 1538-1617
Institucionální podpora: RVO:67985955
Klíčová slova: proof * proof-theoretic semantics * truth * falsity * negation
Obor OECD: Philosophy, History and Philosophy of science and technology
https://ndpr.nd.edu/news/proof-and-falsity-a-logical-investigation/
Trvalý link: http://hdl.handle.net/11104/0301070 - 5.0508521 - FLÚ 2020 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Pezlar, Ivo
Translating a Fragment of Natural Deduction System for Natural Language into Modern Type Theory.
IWCS 2019 Workshop on Computing Semantics with Types, Frames and Related Structures: Proceedings of the Workshop. Stroudsburg (PA): Association for Computational Linguistics, 2019 - (Osswald, R.; Retoré, C.; Sutton, P.), s. 10-18. ISBN 978-1-950737-25-3.
[Workshop on Computing Semantics with Types, Frames and Related Structures. Gothenburg (SE), 23.05.2019-27.05.2019]
Grant CEP: GA ČR(CZ) GA19-12420S
Institucionální podpora: RVO:67985955
Klíčová slova: proof theoretic semantics * modern type theory * natural language semantics
Obor OECD: Linguistics
https://www.aclweb.org/anthology/W19-1002/
Trvalý link: http://hdl.handle.net/11104/0299547