Abstract In this paper, the theory of McCarthy’s extensional arrays enriched with a maxdiff operation (this returns biggest index where two given differ) is proposed. It known from literature that diff required for in order to enjoy Craig interpolation property at quantifier-free level. However, introduced merely instrumental purpose and has only purely formal meaning (it obtained Skolemization...

1.1 Introduction This paper proposes the lexicalization of context in HPSG. Instead of phrasal amalgamation of contextual information from a phrase's daughters , which is speciied by the Principle of Contextual Consistency of Pollard and Sag 1994, we propose lexical amalgamation of context from a word's arguments by means of lexical constraints. The Principle of Contextual Consistency is replac...

19 Detrital-zircon analysis of sandstones interbedded with ca 464 Ma ignimbrites in 20 the lower Mweelrea Formation of the South Mayo Trough, western Ireland, 21 suggests Ordovician source-rock provenance that corresponds to two distinct 22 volcanic-arc phases on the Laurentian margin. East-derived sandstones contain a 23 suite of zircons with a mean age of ca 487 Ma that suggests derivation fr...

Let K be an abstract elementary class with amalgamation, and Lowenheim Skolem number LS(K). We prove that for a suitable Hanf number χ0 if χ0 < λ0 ≤ λ1, and K is categorical in λ + 1 then it is categorical in λ0. 2000 Mathematics Subject Classification. 03C45, 03C75.

We present a framework for conceptual blending – a concept invention method that is advocated in cognitive science as a fundamental, and uniquely human engine for creative thinking. Herein, we employ the search capabilities of ASP to find commonalities among input concepts as part of the blending process, and we show how our approach fits within a generalised conceptual blending workflow. Speci...

Domain-specific languages (DSLs) become more useful the more specific they are to a particular domain. The resulting need for developing a substantial number of DSLs can only be satisfied if DSL development can be made as efficient as possible. One way in which to address this challenge is by enabling the reuse of (partial) DSLs in the construction of new DSLs. Reuse of DSLs builds on two found...

We study the Dehn functions of amalgamations, introducing the notion of strongly undistorted subgroups. Using this, we give conditions under which taking an amalgamation does not increase the Dehn function, generalizing one aspect of the combination theorem of Bestvina and Feighn. To obtain examples of strongly undistorted subgroups, we define and study the relative Dehn function of pairs of gr...