| Home |
| Last parution |
| Authors |
| Topics |
| Keywords |
| Parutions |
| Videos |
| Search |
| Reading committee |
| Contact |
| Subscription |
| Article submission |
French version |
The issues from 1 to 148 are also available on line at NUMDAM and at Revues.org for the following issues |
- Results for criterions:
- Author: BOLDINI Pascal
3 matches
| Title | From categories to categorization |
| Author | BOLDINI Pascal |
| Keywords | Categorization, Category, Internal logic, Piaget (Jean), Sketch, Toposes |
| Topic | None |
| Abstract | This tribute is the opportunity for a melancholic return to topics with which we were occupied, Jean-Pierre Barthélemy and myself, during the 90’s at Télécom Bretagne. It is hardly surprising that we focused on the relationship between natural categories and logic, given that Jean-Pierre was trained within the French school of category theory, and that his first papers belonged to the growing field of categorical logic. Analysing the research pursued under his benevolent direction, I will trace the influence of this specific approach to logic and structures. |
| Number | 197, Spring 2012, special issue: Categories, classification, complexity, consensus ... Around Jean-Pierre Barthélemy's works |
| Language | French |
| Title | Foreword. Special issue: "Type theory" |
| Author | BOURDEAU Michel, BOLDINI Pascal |
| Keywords | Type theory |
| Topics | Epistemology, History of Mathematics, Logic, Type Theory |
| Abstract | Foreword |
| Number | 165, Spring 2004, special issue: Constructive type theory |
| Language | French |
| Title | Cognitive structuration and intrinsic logic |
| Author | BOLDINI Pascal |
| Keywords | None |
| Topics | Cognitive Sciences, Logic, Modelling, Orders and preorders |
| Abstract | |
| Number | 121, Spring 1993 |
| Language | French |
The entire journal is licensed under a Creative Commons license