Une démonstration du théorème de complétude de Godel
Daniel Ponasse (1966)
Publications du Département de mathématiques (Lyon)
Similarity:
Daniel Ponasse (1966)
Publications du Département de mathématiques (Lyon)
Similarity:
Philippe De Rouilhan (1998-1999)
Philosophia Scientiae
Similarity:
M. Ronat (1971)
Mathématiques et Sciences Humaines
Similarity:
Miklos Santha (1982)
Mathématiques et Sciences Humaines
Similarity:
Jean-Pierre Desclés, Jean-Pierre Ginisti (1988)
Mathématiques et Sciences Humaines
Similarity:
Laurent Keiff (2004)
Philosophia Scientiae
Similarity:
Nous présentons ici une version modale des dialogues de recherche de conditions (SSD) que nous avons introduits dans [Rahman & Keiff 2004]. La sémantique utilisée correspond à celle des systèmes modaux non normaux.
Jean Petitot (1997)
Mathématiques et Sciences Humaines
Similarity:
L'article traite des liens entre la syntaxe et la sémantique formelle (de nature logique) des jugements perceptifs et leur contenu proprement perceptif (de nature géométrique). Dans les situations les plus élémentaires le contenu perceptif se ramène à des remplissements de domaines spatiaux (l'extension des objets) par des qualités sensibles (couleurs, textures, etc.). Ces remplissements sont descriptibles par des sections de fibrations appropriées, qui sont des cas particuliers de faisceaux....
Françoise Garcia (1988)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Grzegorz Malinowski (1991)
Mathématiques et Sciences Humaines
Similarity:
Une réalisation non-fregéenne du programme sémantique de G. Frege donnée par R. Suszko [5] est une des plus intéressantes constructions logiques de ces dernières années. Notre article est une présentation des aspects formels et philosophiques de la construction du calcul propositionnel SCI qui forme la base de cette réalisation.
J. Petitot (1982)
Mathématiques et Sciences Humaines
Similarity:
J. F. Pabion (1974)
Publications du Département de mathématiques (Lyon)
Similarity: