The present paper* studies the general implications of the principle of compositionality for the organization of grammar. It will be argued that Janssen's (1986) requirement that syntax and semantics ...

Studia Logica: An International Journal for Symbolic Logic, Vol. 94, No. 3 (April 2010), pp. 381-401 (21 pages) The paper briefly surveys the sentential proof-theoretic semantics for fragment of ...

Logical Systems and Model Theory constitute a foundational area bridging mathematics, computer science and philosophy through the formalisation of reasoning. By abstracting the essential components of ...

Prerequisite: LING 100a. LING 120b recommended. Explores the semantic structure of language in terms of the current linguistic theory of model-theoretic semantics. Topics include the nature of word ...

The Semantic Web is a vision for the future of the Web in which information is given explicit meaning, making it easier for machines to automatically process and integrate information available on the ...