A type free theory and collective/distributive predication

DOI10.1007/BF01048616zbMath0832.03014OpenAlexW1993187192MaRDI QIDQ1903083

Fairouz Kamareddine

Publication date: 5 December 1995

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01048616

zbMATH Keywords

distributivitycollectivitysingletonscollective/distributive sentencestype-free set theory

Mathematics Subject Classification ID

Logic of natural languages (03B65) Nonclassical and second-order set theories (03E70)

Cites Work

• Unnamed Item
• A system at the cross-roads of functional and logic programming
• Nominalization, predication and type containment
• \(\lambda\)-terms, logic, determiners and quantifiers
• Set Theory and Nominalization, Part I
• Set Theory and Nominalization, Part II

This page was built for publication: A type free theory and collective/distributive predication