Classical intensional semantic frameworks, like Montague’s Intensional Logic (IL), identify intensional identity with logical equivalence. This criterion of co-intensionality is excessively coarse-grained, and it gives rise to several well known diculties. Theories of fine-grained intensionality have been been proposed to avoid this problem. Several of these provide a formal solution to the problem, but they do not ground this solution in a substantive account of intensional di↵erence. Ap-plying the distinction between operational and denotational meaning, developed for the semantics of programming languages, to the interpretation of natural language expressions, o↵ers the basis for such an account. It permits us to escape some of the compl...
Introduction There are several ways to give a semantics of a programming language. Each kind of sem...
Kleisli categories over monads have been used in denotational semantics to describe functional langu...
Although it is well known that the full meaning of a concept includes an intensional and an extensio...
Intensionality is a phenomenon that occurs in logic and computation. In the most general sense, a fu...
Kleisli categories over monads have been used in denotational semantics to describe functional langu...
International audienceBuilding on Ben-Avi and Winter's (2007) work, this paper provides a general "i...
One of the main areas in knowledge representation and logic-based artificial intelligence concerns l...
There are different ways we use the expressions �extension� and �intension�. I specify in the ?rst p...
AbstractIntensional Logic Programming is a new form of logic programming based on intensional logic ...
Jean-Pierre Descles: Is the «lntensional Logic» Truly Intensional? Starting from an analysis of a co...
We look at intensionality from the perspective of computation. In particular, we review how game sem...
We formulate a Curry-typed logic with fine-grained intensionality within Turner?s typed predicate lo...
This paper introduces a procedure that takes a simple version of extensional semantics and generates...
The goal of this paper is to introduce the reader to the distinction between intensional and extensi...
AbstractThis paper is a contribution to the development of a theory of behaviour of programs. We stu...
Introduction There are several ways to give a semantics of a programming language. Each kind of sem...
Kleisli categories over monads have been used in denotational semantics to describe functional langu...
Although it is well known that the full meaning of a concept includes an intensional and an extensio...
Intensionality is a phenomenon that occurs in logic and computation. In the most general sense, a fu...
Kleisli categories over monads have been used in denotational semantics to describe functional langu...
International audienceBuilding on Ben-Avi and Winter's (2007) work, this paper provides a general "i...
One of the main areas in knowledge representation and logic-based artificial intelligence concerns l...
There are different ways we use the expressions �extension� and �intension�. I specify in the ?rst p...
AbstractIntensional Logic Programming is a new form of logic programming based on intensional logic ...
Jean-Pierre Descles: Is the «lntensional Logic» Truly Intensional? Starting from an analysis of a co...
We look at intensionality from the perspective of computation. In particular, we review how game sem...
We formulate a Curry-typed logic with fine-grained intensionality within Turner?s typed predicate lo...
This paper introduces a procedure that takes a simple version of extensional semantics and generates...
The goal of this paper is to introduce the reader to the distinction between intensional and extensi...
AbstractThis paper is a contribution to the development of a theory of behaviour of programs. We stu...
Introduction There are several ways to give a semantics of a programming language. Each kind of sem...
Kleisli categories over monads have been used in denotational semantics to describe functional langu...
Although it is well known that the full meaning of a concept includes an intensional and an extensio...