Peano-Systeme.
Preservation Theorems for Limits of Structures and Global Sections of Sheaves of Structures.
Qu'est-ce la complétude structurale ?
Relative expressiveness of the edge/adjacency language for graph theory
Semantics based on states of affairs
Signed states on a logic
Souslin-Klееnе does not imply Beth
States of affairs as values for formulas
Subalgebras and sublogics of -logics
Sur la réfutabilité
The Heyting doctrines
The internal and external aspect of logic and set theory in elementary topoi
The lattices of numerations of theories containing Peano's arithmetic
The observational predicate calculus and complexity of computations (Preliminary communication)
Theory of types and data description
Time change of objects and problem of their identification
Types of preference
Ultralogics and probability models.
Une modélisation mathématique de la compréhension des énoncés additifs
Cet article fait suite à l'article paru dans le volume 113 de cette revue (D. Guin [15]) où nous avons mis en évidence certains processus cognitifs élémentaires dans l'activité de compréhension d'énoncés additifs, puis proposé une modélisation de la compréhension permettant de prendre en compte ces processus. Dans celle modélisation basée sur la notion d'opérateur, nous avons distingué deux étapes : la compréhension linguistique de l'énoncé et la réduction à un prototype. Nous utiliserons des formalismes...
Validity up to complementation in graph theory