-
Game semantics and parsing context-free lambda-grammars
Abstract categorial grammars (or, equivalently, lambda-grammars) is formalism based on the simply-typed lambda-calculus. These grammars can be described as grammars of... -
Journées des jeunes chercheurs, Université d'Aix-Marseille
This dataset has no description
-
La Vie et le Temps : de la Cosmologie à la logique.
This dataset has no description
-
Decidable characterizations for tree logics
In this thesis we investigate the expressive power of several logics over finite trees. In particular we want to understand precisely the expressive power of... -
Richard Brinkley "contra dialecticae haereticos": une conception métaphysico-...
Contient en appendice l'édition du "De universalibus" de Brinkley (= Summa logicae, II) -
Philosophie, mathématiques et psychologie chez Wittgenstein
National audience -
Logic in the Hyperfinite Factor: Geometry of Interaction and Complexity
This work is a study of the geometry of interaction in the hyperfinite factor introduced by Jean-Yves Girard, and of its relations with ancient constructions. We start... -
Eléments pour une grammaire de la confiance
Publication du CEMS-IMM -
La forme ou l'arithmetique du temps
This book is designed as the experimental support which makes it possible to the reader to constitute his own imaginary representation of the contents of this writing.... -
Preuve et charge de la preuve : logique et droit.
This dataset has no description
-
Colloque "La preuve entre science et droit".
This dataset has no description
-
Edition critique du Traité de logique et de morale.
This dataset has no description
-
Logique et contenu : Une introduction possible à la philosophie de la logique
This dataset has no description
-
Principe de charité et sciences de l'homme
According to the principle of charity, we always have to make the assumption that other people are rational when we try to interpret their behavior. This paper is a... -
Russell, de la logique qu'il cherchait aux logiques qu'il a trouvées
This dataset has no description
-
Compte rendu d'ouvrage : J.-H. Lambert, Phénoménologie, trad. G. Fanfalone, P...
International audience -
Remarques sur la logique intensionnelle de Vanderveken
This dataset has no description
-
Russell de la logique qu'il cherchait aux logiques qu'il a trouvées
This dataset has no description
