Model theoretic semantics for many-purpose languages and language hierarchies
Hajnal Andréka, Tamás Gergely, Istvàn Németi · 1980
Model theoretic semantics (MTS) has a special attitude to describe semantics, to characterize both artificial and natural languages by pure mathematical tools and some of the basic properties of this attitude are disscussed.The arsenal of MTS equipped here with such tools allowing the investigation at such a level of complexity that approximates the real situations.These tools are developed within the frame of category theory.