Montague [7] translates English into a tensed intensional logic, an extension of the typed J-calculus. We prove that each translation reduces to a for-m~da without J-applications, unique to within change of bound variable. The proof has two main steps. We first prove that translations of :English p
Qualitative probability as an intensional logic
✍ Scribed by Peter Gärdenfors
- Publisher
- Springer Netherlands
- Year
- 1975
- Tongue
- English
- Weight
- 741 KB
- Volume
- 4
- Category
- Article
- ISSN
- 0022-3611
No coin nor oath required. For personal study only.
📜 SIMILAR VOLUMES
In this paper, we propose a framework for representing and reasoning about qualitative and quantitative temporal constraints between periodic events. In particular, our contribution is twofold: (i) we provide a formalism to deal with both qualitative and quantitative "periodicity-dependent" constrai
Dimensional qualitative research (DQR) is an innovative approach to qualitative inquiry that can set the stage for a systematic, multifaceted, and psychologically sophisticated evaluation of the subject under investigation. The BASIC ID dimensions first outlined by Arnold Lazarus have been shown to