Meaning and Computing: Two Approaches to Computable Propositions

Number of the records: 1

1.

SYSNO	0546956
Title	Meaning and Computing: Two Approaches to Computable Propositions
Author(s)	Pezlar, Ivo (FLU-F)_{ORCID, RID, SAI}
Source Title	Logic, Language, Information, and Computation, 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings. S. 100-116. - Cham : Springer, 2021 / Silva Alexandra ; Wassermann Renata ; de Queiroz Ruy
Conference	WoLLIC 2021. Workshop on Logic, Language, Information, and Computation /27./, 05.10.2021 - 08.10.2021, online
Document Type	Konferenční příspěvek (zahraniční konf.)
Grant	GA19-12420S GA ČR - Czech Science Foundation (CSF), CZ - Czech Republic
Institutional support	FLU-F - RVO:67985955
Language	eng
Country	DE
Keywords	computable proposition * sense–denotation distinction * algorithmic theory of meaning * procedural semantics * constructive type theory * transparent intensional logic
URL	https://doi.org/10.1007/978-3-030-88853-4_7
Permanent Link	http://hdl.handle.net/11104/0323337

Number of the records: 1