Intension

Known as: Intensional, Intensional statement, Intensionality 
Note: Intension and intensionality (the state of having intension) should not be confused with intention and intentionality, which are pronounced the… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
In the present paper, we aim to capture “intensionality” in computation, particularly the normalization process, in a syntax… (More)
  • table 1
  • table 2
  • table 4
  • table 6
  • table 7
Is this relevant?
Highly Cited
2013
Highly Cited
2013
We present a straightforward embedding of quantified multimodal logic in simple type theory and prove its soundness and… (More)
Is this relevant?
2013
2013
This paper is concerned with the complexity analysis of constructor term rewrite systems and its ramification in implicit… (More)
  • figure 1
  • figure 2
  • table 1
Is this relevant?
Highly Cited
2005
Highly Cited
2005
for the Workshop on Lambda-Calculus, Type Theory, and Natural Language, King’s College London, 8 and 9 December 2003 I will… (More)
Is this relevant?
Highly Cited
2005
Highly Cited
2005
We provide Montague semantics with a notion of context that allows discourse dynamics to be tackled. As an example, we consider… (More)
Is this relevant?
2005
2005
This note describes a logical system based on concepts and contexts, the system for textual inference logic. The system is the… (More)
Is this relevant?
2003
2003
We argue that the detection of entailment and contradiction relations between texts is a minimal metric for the evaluation of… (More)
Is this relevant?
2000
2000
Intensional Programming involves the programming of expressions placed in an inherent multidimensional context space. It is an… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1997
Highly Cited
1997
perspective, labels represent an extra `informational resource' which is present in deduction and can play a variety of roles… (More)
Is this relevant?
Highly Cited
1990
Highly Cited
1990
This thesis presents accounts of a range of linguistic phenomena in an extended categorial framework, and develops proposals for… (More)
Is this relevant?