An approach to intensional logic

Studia Logica 40 (3):269 - 287 (1981)
A system of tensed intensional logic excluding iterations of intensions is introduced. Instead of using the type symbols (for ‘sense’), extensional and intensional functor types are distinguished. A peculiarity of the semantics is the general acceptance of value-gaps (including truth-value-gaps): the possible semantic values (extensions) of extensional functors are partial functions. Some advantages of the system (relatively to R. Montague's intensional logic) are briefly indicated. Also, applications for modelling natural languages are illustrated by examples.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/BF02584061
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 31,385
Through your library
References found in this work BETA
Universal Grammar.R. Montague - 1970 - Theoria 36 (3):373--398.
The Proper Theory of Quantification.Richard Montague - 1973 - In Jaakko Hintikka (ed.), Approaches to Natural Language. D. Reidel Publishing.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles
Added to PP index

Total downloads
32 ( #180,216 of 2,225,946 )

Recent downloads (6 months)
2 ( #250,407 of 2,225,946 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature