Další formáty:
BibTeX
LaTeX
RIS
@proceedings{1389385,
author = {Holaj, Richard},
booktitle = {Eastern Generative Grammar (EGG); UP Olomouc},
keywords = {lamba calculus; formal semantics; generative grammar},
language = {eng},
title = {Isn’t it all just math in the end?},
year = {2017}
}
TY - CONF
ID - 1389385
AU - Holaj, Richard
PY - 2017
TI - Isn’t it all just math in the end?
KW - lamba calculus
KW - formal semantics
KW - generative grammar
N2 - In typed formal logics, we use type restrictions along with lambda calculus, to describe semantic relations. We apply arguments to functions to replace lambda with values and get the compound meaning, when binary branching occurs. We also use general quantifiers to make the interaction more general. In this presentation I would like to show, how bringing in one extra general quantifier, which is cartesian product can help us making things more simple. The reason for this, is that cartesian product is simple set operation (and we like sets in semantics) and it allows us to bring n-tuples, thus relations into game. Whole computation is then base on principle of modifying sets by different set modification operations (like union, intersection), creating relations (by cartesian product) and testing if one set is subset of another (by subset operators). All our semantics are thus described as sets (n-tuples are also sets below the surface) and set operations.
ER -
HOLAJ, Richard. Isn’t it all just math in the end? In \textit{Eastern Generative Grammar (EGG); UP Olomouc}. 2017.
|
