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.
Similar content being viewed by others
References
AczelP., 1980, “Frege structures and the notions of proposition, truth and set”, The Kleene Symposium, New York: Norht-Holland, pp. 31–69.
Aczel, P., 1981, “A formal language; privately circulated note”, Manchester University.
Aczel, P., 1985, “Properties and propositional functions; privately circulated note”, Manchester University.
BarwiseJ. and CooperR., 1981, “Generalised quantifiers and natural language”, Linguistics and Philosophy 4, 159–219.
VanBenthemJ., 1983, “Determiners and logic”, Linguistics and Philosophy 6, 447–478.
VanBenthemJ., 1984, “Questions about quantifiers”, Journal of Symbolic Logic 49, 443–469.
BeesonM. J., 1987, Foundations of Constructive Mathematics, Berlin: Springer-Verlag.
FefermanS., 1979, “Constructive theories of functions and classes”, in Logic Colloquium '78, M.Boffa, D.VanDalen, and K.McAloon, eds., Amsterdam: North-Holland, pp. 159–224.
FefermanS., 1984, “Towards useful type-free theories”, Journal of Symbolic Logic 49, 75–111.
Flagg, R. and Myhill, J., 1984, “Notes on a type-free system extending ZFC; privately circulated note”, Ohio State University and University of New York at Buffalo.
Mönnich, U., 1983, “Towards a calculus of concepts a asemantical metalanguage”, in Meaning, Use and Interpretation of Language, De Gruyter, pp. 342–360.
ScottD. S., 1975, “Combinators and classes”, pp. 1–26, in Lambda Calculus and Computer Science, Lecture Note in Computer Science 37, C.Böhm, ed., Springer, Berlin.
SmithJ., 1984, “An interpretation of Martin-Löf's type theory in a type-free theory of propositions”, Journal of Symbolic Logic 49, 730–753.
Thomason, R., 1974, Formal Philosophy, selected papers by Richmond Montague, Yale University.
TurnerR., 1987, “A theory of properties”, Journal of Symbolic Logic 52, 63–86.
Author information
Authors and Affiliations
Additional information
The author is currently on a study leave for one year at the University of Eindhoven, The Netherlands
Rights and permissions
About this article
Cite this article
Kamareddine, F. λ-Terms, logic, determiners and quantifiers. J Logic Lang Inf 1, 79–103 (1992). https://doi.org/10.1007/BF00203387
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF00203387