logique
Michel Eytan
G. T. Kneebone, "Mathematical logic and the foundations of mathematics", Van Nostrand ed., 1963, 400 p.
Paru dans :
n° 8, Automne 1964
[Résumé]
N. Chomsky, G.A. Miller, "Introduction to the formal analysis of naturel languages", Handbook of Math. Psychology
Paru dans :
n° 9, Hiver 1964
[Résumé]
Pierre Rosenstiehl
Revues des revues
An overview of journals
Paru dans :
n° 9, Hiver 1964
[Texte intégral]
Ernest Coumet
Les diagrammes de Venn
Paru dans :
n° 10, Printemps 1965
Michel Eytan
Qu'est-ce qu'un quantificateur ? Le point de vue de l'algébriste
Paru dans :
n° 10, Printemps 1965
Marc Barbut
Topologie générale et algèbre de Kuratowski
Paru dans :
n° 12, Automne 1965
Michel Eytan
Topologie et logique propositionnelle modale
Paru dans :
n° 12, Automne 1965
Michel Eytan
Axiomatique des ensembles
Paru dans :
n° 13, Hiver 1965
Bernard Jaulin
Sur un aspect du calcul
Paru dans :
n° 14, Printemps 1966
Jean-blaise Grize
Logique et algèbre de Boole
Paru dans :
n° 14, Printemps 1966
Ernest Coumet
Logique, mathématiques et langages dans l'oeuvre de Georges Boole (1)
Paru dans :
n° 15, Été 1966
Georges-théodule Guilbaud
Problèmes d'enseignement. Un exercice de logique formelle
Paru dans :
n° 15, Été 1966
[Texte intégral]
Ernest Coumet
Logique, mathématiques et langages dans l'oeuvre de Boole (2)
Paru dans :
n° 16, Automne 1966
J. Jastrabsky
Circuits logiques
Paru dans :
n° 16, Automne 1966
Bernard Durand
"Lectures on modern mathematics", T. L Seaty ed.,vol. III, New-York-London-Sydney, John Wiley & Sons, 320 p.
"Lectures on modern mathematics", T. L Seaty ed., vol. III, New-York-London-Sydney, John Wiley & Sons, 320 p.
Paru dans :
n° 16, Automne 1966
[Résumé]
Ernest Coumet
Logique, mathématiques et langage dans l'oeuvre de G. Boole (suite et fin)
Paru dans :
n° 17, Hiver 1966
Roger Martin
Problèmes d'enseignement. A propos de la notion de démonstration dans l'enseignement élémentaire de la théorie des ensembles
Paru dans :
n° 20, Automne 1967
Roger Martin
L'enseignement des mathématiques aux étudiants en philosophie (1e année, 1er cycle) dans les facultés de Paris-Sorbonne et Paris-Nanterre
Paru dans :
n° 20, Automne 1967
Michel Eytan
S. C. Kleene, "Mathematical logic", New York, Wiley, 1967, 398 + 7 p.
Paru dans :
n° 25, Printemps 1969
[Résumé]
M.-c. Barbault et
Jean-pierre
Descles
Vers une formalisation des grammaires transformationnelles [Texte intégral]
Claude Pair
La formalisation des langages de programmation
Jean-blaise Grize
Quelques problèmes logico-linguistiques
Michel Eytan
K. Schütte, "Vollstündige Systeme modular und intuitionischer Logik", Berlin, Springer Verlag, 1968, 87 p.
Paru dans :
n° 36, Hiver 1971
[Résumé]
Michel Eytan
G. E. Hughes, M. J. Cresswell, "An introduction to modal logic", Londres, Methuen, 1968, 388 p.
Paru dans :
n° 36, Hiver 1971
[Résumé]
Roger Martin
Alfred Tarski, "Logique, sémantique, métamathématique", 1923-1944, tome 1, Paris, Armand Colin, 1972, 278 p.
Paru dans :
n° 42, Été 1973
Michel Eytan
Tableaux de Smullyan, ensembles de Hintikka et tout ça : un point de vue algébrique
Smullyan tables, Hintikka set and so on: algebraic point of view
Paru dans :
n° 48, Hiver 1974
F. Lapscher
Utilisation des matrices booléennes pour l'étude des treillis de Post
The use of boolean matrixes in the study of Post lattices
Paru dans :
n° 49, Printemps 1975
Michel Eytan
Logique modale et propositionnelle : une vue cavalière
Propositional modal logic: a cavalier survey
Paru dans :
n° 57, Printemps 1977
Ernest Coumet
Sur l'histoire des diagrammes logiques, "figures géométriques"
On the history of logic diagrams, "geometrical figures"
Paru dans :
n° 60, Hiver 1977
G. Jumarie
Ensembles flous relativistes. Pour une nouvelle approche de la subjectivité dans les systèmes humains
Relativistic fuzzy sets. Toward a new approach to subjectivity in human systems
Paru dans :
n° 71, Automne 1980
Hermann Weyl
Le fantôme de la modalité
The Modality's ghost
Paru dans :
n° 74, Été 1981
Jean-pierre Descles
Programme interdisciplinaire de traitement formel et automatique des langues et du langage (PITFALL)
Interdisciplinary programm in formal treatment of natural languages (PITFALL)
Jean-pierre Descles
Multiopérateurs, multiopérations
Multioperators, multioperations
Jean-pierre Descles et
Ch.
Froidevaux
Axiomatisation de la notion de repérage abstrait
Abstract location axiomatisation
M. Santha
La logique intensionnelle et les langues naturelles
Intensional logic and natural languages
Ch. Froidevaux
La fonction logique Epsilon de Hilbert à travers les "Grundlagen der mathematik"
The logic function Epsilon of Hilbert in the "Grundlagen der mathematik"
Paru dans :
n° 84, Hiver 1983
Rudolf Wille
Sur la fusion des contextes individuels
On the fusion of individual contexts
Paru dans :
n° 85, Printemps 1984
Denis Bresson
N. Falletta, "Le livre des paradoxes", Paris, Belfond, 1985
Paru dans :
n° 94, Été 1986
[Résumé]
Rémi Langevin et
Lucinda Ferreira
Brito
Modalités : un modèle géométrique
Modalities: a geometrical model
Paru dans :
n° 95, Automne 1986
René Guitart
Introduction à l'analyse algébrique. 2. Algèbres figuratives et esquisses
Introduction to algebraic analysis
Paru dans :
n° 97, Printemps 1987
Iven Van Mechelen
Prédiction d'un critère binaire au moyen d'une combinaison logique de prédicteurs binaires
Predictions of a dichotomous criterion variable by means of a logical combination of dichotomous predictors
Paru dans :
n° 102, Été 1988
[Texte intégral]
Solomon Marcus
Mathématique et linguistique
Mathematics and linguistics
Jean-pierre Chanod et
Frédérique
Segond
Grammaire applicative : traitement informatique de la composante morpho-syntaxique
Applicative grammar: computerization of the morphosyntactic component
Jean-pierre Ginisti
Présentation de la logique combinatoire en vue de ses applications
Presentation of combinatory logic with a view of its applications
Jean-pierre Descles
Théorème de Church-Rosser et structuration des langues naturelles
Church-Rosser's theorem and structuration of natural languages
Jean-pierre Descles et
Jean-pierre
Ginisti
Bibliographie commentée, numéro spécial : Linguistique et mathématique
Commented bibliography, special issue: Linguistics and mathematics
Régine Delforges
Logique combinatoire et caractères chinois
Combinatory and Chineses characters
Paru dans :
n° 105, Printemps 1989
Jacques Courcier
Le texte philosophique comme lieu d'étude sur la logique usuelle
Philosophical text: a place to study usual logic
Paru dans :
n° 107, Automne 1989
Dominique Dubarle
Essai sur la généralisation naturelle de la logique usuelle (premier mémoire)
Essay on natural generalization of usual logic
Paru dans :
n° 107, Automne 1989
M. Schonfinkel
Sur les éléments de construction de la logique mathématique. Traduction de G. Vandevelde, Analyse et notes de J. P. Ginisti
Construction elements of mathematic logic. G. Vandevelde: translation, J. P. Ginisti: analyse and notes
Paru dans :
n° 112, Hiver 1990
Dominique Guin
La notion d'opérateur dans une modélisation cognitive de la compréhension des problèmes additifs
The operator notion in a cognitive modeling of the understanding process of additive word problems
Paru dans :
n° 113, Printemps 1991
Michael Luxenburger
Implications partielles dans un contexte
Partial implications of a context
Paru dans :
n° 113, Printemps 1991
Jean-pierre Ginisti
J.-P. Desclés, "Langages applicatifs, langues naturelles et cognition", Paris, Hermès, 1990
Paru dans :
n° 115, Automne 1991
[Résumé]
Jean-pierre Ginisti
Les problèmes de la définition
The problems of definition
Jan Gregorowicz
La théorie des définitions dans la littérature logique polonaise
The theory of definitions in the polish logical literature
Daniel Parrochia
Trames, classifications, définitions
Grids, classifications, definitions
Claude Gaudin
Un point de logique aristotélicienne : le "définitionnel"
A point of aristotelian logic: definition as a "formula"
Grzegorz Malinovski
Sur les principes sémantiques de Frege et sur une définition non-fregéenne de la notion d'identité propositionnelle
On semantic principles of Frege and non-fregean definition of the concept of propositional identity
Maria Lewandowska
Quelques remarques sur les définitions des notions principales de la logique de l'action
Remarks on the definitions of main concepts of logic of action
Jean-pierre Ginisti
La créativité des définitions dans les systèmes para-euclidiens
The creativity of definitions in the paraeuclidean systems
Constantin Thiopoulos
Vers une logique des systèmes sémiotiques
Towards a logic of semiotic systems
Paru dans :
n° 117, Printemps 1992
Dominique Guin
Une modélisation mathématique de la compréhension des énoncés additifs
A mathematical modeling of the understanding process of additive word problems
Paru dans :
n° 120, Hiver 1992
Pascal Boldini
Structuration cognitive et logique intrinsèque
Cognitive structuration and intrinsic logic
Paru dans :
n° 121, Printemps 1993
Engelbert Mephu Nguifo
Une nouvelle approche basée sur le treillis de Galois pour l'apprentissage des concepts
A new approach base on Galois lattice for concept learning
Paru dans :
n° 124, Hiver 1993
Matthias Gerner
Pour une typologie discursive via la théorie des esquisses
For a discourse typology via the sketch theory
Paru dans :
n° 129, Été 1995
Marion Carel
Notion d'inférence valide : quelques remarques sur l'enseignement du calcul propositionnel classique
A few remarks on the teaching of propositional calculus
Paru dans :
n° 130, Été 1995
Ismaïl Biskri et
Jean-pierre
Descles
Logique combinatoire et linguistique : grammaire catégorielle combinatoire applicative
Combinatory logic and linguistics: applicative and combinatory categorial grammar
Paru dans :
n° 132, Hiver 1995
[Résumé]
Jean-marc Bernard et
Camilo
Charron
L'analyse implicative bayésienne : une méthode pour l'étude des dépendances orientées. 2. Modèle logique sur un tableau de contingence
Bayesian implicative analysis, a method for the study of oriented dependencies. 2. Logical model on a contingency table
Paru dans :
n° 135, Automne 1996
[Résumé]
Aarne Ranta
Structures grammaticales dans le français mathématique : 1
Grammatical structure in mathematical french language : 1
Paru dans :
n° 138, Été 1997
[Texte intégral]
Aarne Ranta
Structures grammaticales dans le français mathématique : 2 (suite et fin)
Grammatical structure in mathematical french language: 2 (end)
Paru dans :
n° 139, Automne 1997
[Texte intégral]
Denis Pierre
Les schémas mentaux : représenter et maintenir une connaissance apprise
Mental schemes: how to represent and maintain a learned knowledge
Paru dans :
n° 139, Automne 1997
[Résumé]
Jean-pierre Ginisti
Y. Gauthier, "Logique et fondements des mathématiques", Paris, New York, Diderot, 1997, 174p., bibliographie de 120 titres
Paru dans :
n° 140, Hiver 1997
[Texte intégral]
Gérard Milhaud et
Elisabeth
Godbert
Un environnement basé sur la logique pour développer des applications du traitement automatique du langage naturel
A logic-based environment for developing natural language processing applications
Paru dans :
n° 143, Automne 1998
[Résumé]
Arnaud Devillez, Patrice Billaudel et
Gérard
Villermain Lecolier
Une méthode possibiliste de discrimination adaptée aux classes de forme complexe
A possibilistic discrimination method adapted to classes of complex shape
Paru dans :
n° 147, Automne 1999, spécial Classification
[Résumé]
Israël-césar Lerman et
Valérie
Rouat
Segmentation de la sériation pour la résolution de #SAT
Cutting seriation for approximate #SAT resolution
Paru dans :
n° 147, Automne 1999, spécial Classification
[Résumé]
Michel Serfati
A la recherche des "Lois de la Pensée". Sur l'épistémologie du calcul logique et du calcul des probabilités chez Boole
The search for the "Laws of thought". On the epistemology of Boole's logical calculus and calculus of probabilities
[Texte intégral]
Giuseppe Longo
Cercles vicieux, mathématiques et formalisations logiques
Vicious circles, mathematics and logic
Paru dans :
n° 152, Hiver 2000
[Texte intégral]
Marc Barbut
Revue de synthèse. Numéro spécial "Histoire des jeux, jeux de l'histoire", Albin Michel, n° 2-3-4, avril-décembre 2001
Paru dans :
n° 159, Automne 2002
[Texte intégral]
Jean-pierre Ginisti
La logique combinatoire : logique de l'objet quelconque ou logique de l'opérateur ?
Combinatory logic: a logic of any objects vhatever or a logic of operators?
Paru dans :
n° 162, Été 2003
[Texte intégral]
Michel Bourdeau
La critique de la théorie des ensembles dans la dissertation de Brouwer (1907)
The criticism of set theory in Brouwer’s dissertation (1907)
Paru dans :
n° 164, Hiver 2003
[Texte intégral]
Michel Bourdeau et
Pascal
Boldini
Avant propos sur la théorie constructive des types
Foreword. Special issue: "Type theory"
[Texte intégral]
Gilles Dowek
La théorie des types et les systèmes informatiques de traitement de démonstrations mathématiques
Type theory and proof processing system
[Texte intégral]
Aarne Ranta
Computational semantics in type theory
Sémantique computationnelle dans la théorie des types
[Texte intégral]
Anton Setzer
Proof Theory of Martin-Löf Type Theory. An overview
La théorie de la preuve de la théorie des types de Marin-Löf
[Texte intégral]
Claude Del Vigna
Introduction aux bases de données et aux fondements de l'exemple relationnel
An introduction to databases and to the foundations of the relational case
Paru dans :
n° 169, Printemps 2005
[Texte intégral]
Guido Lohrer
Fins et moyens. La théorie constructive des types considérée comme guide pour former des modèles en théorie de l'esprit et de l'action
On ends and means. Constructive type theory as a guide for modeling in theory of mind and action
Paru dans :
n° 171, Automne 2005
[Texte intégral]
Jean-pierre Descles et
Kye-seop
Cheong
Analyse critique de la notion de variable. Points de vue sémiotique et formel
Critical Analysis of Variable (Semiotic and Formal Viewpoints)
Paru dans :
N° 173 Printemps 2006
[Texte intégral]
Jean-pierre Descles et
Kye-seop
Cheong
Analyse critique de la notion de variable (points de vue sémiotique et formel) [2e partie]
Critical analysis of variable (semiotic and formal viewpoints) [second part]
Paru dans :
n° 174, Eté 2006
[Texte intégral]
Thierry Martin
La logique probabiliste de Gabriel Cramer
Gabriel Cramer’s probabilistic logic
Paru dans :
n° 176, Hiver 2006
[Texte intégral]
Thierry Martin
J.-H. Lambert, Phénoménologie, trad. G. Fanfalone, Paris, Vrin, 2002, 221 p.
Paru dans :
n° 174, Eté 2006
[Texte intégral]
Stéphane Dugowson
Les frontières dialectiques
Dialectical boundaries
Paru dans :
n° 177, Printemps 2007
[Texte intégral]
Luigi Burigana
Projective operations on relational constraints
Opérations projectives sur contraintes relationnelles
Paru dans :
n° 181, Printemps 2008
[Texte intégral]
