Pomset Logic and variants in natural languages

Abstract

We propose a uniform solution based on Pomset Logic to several different syntactic phenomena in Natural Languages, and in particular topicalization, relative clauses, interrogative clauses, extraposition, discontinuous constituents and cliticization. We show that Pomset Logic is expressive enough to describe all the linguistic transformations due to these phenomena, in the sense that all transformations can be expressed by provable statements of the logic, on suitable types. Obviously, the specific transformations of each language are part of its grammatical specification.