In direct contrast to their frequency amongst the world's languages, verbless constructions, such as those illustrated in the following examples (taken from Stassen 1997:62-63), have received relatively little attention in the lfg literature.

This paper presents a method to translate a proof in an extensional version of the Calculus of Constructions into a proof in the Calculus of Inductive Constructions extended with a few axioms. We use a specific equality in order to translate the extensional conversion relation into an intensional system.

We investigate the isomorphism types of combinatorial geometries arising from Hrushovski’s flat strongly minimal structures and answer some questions from Hrushovski’s original paper.

ion

in this paper we introduce the construction of free profinite products of profinite groups withcommuting subgroups. we study a particular case: the proper free profinite products of profinite groups with commuting subgroups. we prove some conditions for a free profinite product of profinite groups with commuting subgroups to be proper. we derive some consequences. we also compute profinite comp...

extended abstract 1. introduction the diversity of impersonal constructions and the different approaches used in studying them have caused different and sometimes contradictory positions about their classification and the explanation of grammatical and semantic roles of their components. this article reveals the necessity of studying them with a new approach which pursues a common basis coverin...

My objective in this paper i s to provide a contrastive analysis of partitives in English and Italian. The differences between these two languages appear to be representat ive of the di fferences prevail ing throughout the Romance and Germanic families and thus i t is hoped that the analysis to be offered wil l be of more general appl icabil i ty . I will couch my proposal within an approach to...

We show how to extract classical programs expressed in Krivine λc-calculus from proof-terms built in a proof-irrelevant and classical version of the calculus of constructions with universes. For that, we extend Krivine’s realisability model of classical second-order arithmetic to the calculus of constructions with universes using a structure of Πset which is reminiscent of ω-sets, and show that...