Výsledky vyhledávání
- 1.0543414 - FLÚ 2022 RIV CZ cze J - Článek v odborném periodiku
Drobňák, Matej - Peregrin, Jaroslav - Matějíček, P. - Hubálek, M.
Experimentální studie akceptace pravidel přirozené dedukce v českém jazyce.
[An Experimental Study of the Acceptance of the Rules of Natural Deduction in Czech.]
Slovo a slovesnost. Roč. 82, č. 1 (2021), s. 67-83. ISSN 0037-7031
Grant CEP: GA ČR(CZ) GA17-15645S
Institucionální podpora: RVO:67985955
Klíčová slova: natural deduction * natural language * natural language semantics * natural deduction * disjunction * negation
Obor OECD: Philosophy, History and Philosophy of science and technology
Impakt faktor: 0.227, rok: 2021
Způsob publikování: Omezený přístup
http://sas.ujc.cas.cz/archiv.php?art=4477
Trvalý link: http://hdl.handle.net/11104/0320629 - 2.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