λ-Terms, logic, determiners and quantifiers

F. Kamareddine

Research output: Contribution to journalArticleAcademicpeer-review

3 Citations (Scopus)

Abstract

In this paper, a theory T H based on combining type freeness with logic is introduced and is then used to build a theory of properties which is applied to determiners and quantifiers.
Original languageEnglish
Pages (from-to)79-103
Number of pages25
JournalJournal of Logic, Language and Information
Volume1
Issue number1
DOIs
Publication statusPublished - 1992

Fingerprint Dive into the research topics of 'λ-Terms, logic, determiners and quantifiers'. Together they form a unique fingerprint.

Cite this