-
Quantification, unité et identité chez la philosophie de Ibn Sina
This dataset has no description
-
Die logisch-begriffliche Struktur von Intentionalität, Universität Graz.
This dataset has no description
-
Systèmes déductifs et traitement des langues : un panorama des grammaires cat...
Depuis les années 80 les grammaires catégorielles connaissent un vif regain d'intérêt. Poursuivant les travaux des années cinquante (voire trente) dans une optique... -
Une généralisation logique de l'analyse de concepts formels
Nous proposons une généralisation de l'analyse de concepts formels (ACF) dans laquelle les ensembles d'attributs sont remplacés par des expressions d'une logique... -
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
