Non well-foundedness and type freeness can unify the interpretation of functional application
Fairouz Kamareddine · TU/e Research Portal · 1992
The purpose of this paper is to provide a unified interpretation of collective and distributive predication based on an intensional type-free set theory where individuals are non well founded sets.The use of type freeness and non well foundedness will enable us to get all the possible readings of sentences from two simple tables.The notion of internal definability will be fundamental for this uniform interpretation.