Ueber ein Princip der Zuordnung algebraischer Formen.
Ultralogics and probability models.
Un modèle fonctionnel des structures de contrôle
Un principe de résolution en logique modale
Una lógica modal para la geometría esférica de incidencia.
Habitualmente, las geometrías de incidencia están basadas en estructuras bisurtidas formadas por puntos y rectas, y conectadas por una relación entre ambas clases. En lo que sigue, introducimos una estructura monosurtida, que llamamos Marco Esférico de Incidencia, la cual resulta adecuada, para construir una base semántica que permita su consideración en el lenguaje modal. Construiremos así un sistema axiomático para dicho lenguaje, que estaría determinado por la estructura creada, es decir probaremos...
Una proposta di teorie base dei Fondamenti della Matematica
Vengono proposte alcune teorie base dei Fondamenti della Matematica che assumono come concetti primitivi i concetti di numero naturale, collezione, qualità, operazione e relazione; le operazioni e le relazioni considerate possono essere più o meno complesse: il numero naturale che indica il grado di complessità è detto arietà. Nelle teorie considerate è raggiunto un alto grado di autoreferenza.
Una teoria-quadro per i fondamenti della matematica
We propose a "natural" axiomatic theory of the Foundations of Mathematics (Theory Q) where, in addition to the membership relation (between elements and classes), pairs, sets, natural numbers, n-tuples and operations are also introduced as primitives by means of suitable ground classes. Moreover, the theory Q allows an easy introduction of other mathematical and logical entities. The theory Q is finitely axiomatized in § 2, using a first-order language with a binary relation (membership) and five...
Undecidability of intuitionistic theories formulated with the apartness relation
Undecidability of the completeness problem of modal logic
Undecidable varieties with solvable word problems. III (a semigroup variety).
Une généralisation de la théorie des types en -calcul
Une généralisation de la théorie des types en -calcul (II)
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...
Unification for nilpotent groups of class 2.
Unification in varieties of idempotent semigroups.
Unification of higher-order patterns modulo simple syntactic equational theories.
Uniform Space
In this article, we formalize in Mizar [1] the notion of uniform space introduced by André Weil using the concepts of entourages [2]. We present some results between uniform space and pseudo metric space. We introduce the concepts of left-uniformity and right-uniformity of a topological group. Next, we define the concept of the partition topology. Following the Vlach’s works [11, 10], we define the semi-uniform space induced by a tolerance and the uniform space induced by an equivalence relation....
Unsolvable systems of equations and proof complexity.
Unterstruktur-Invariante Formeln in der intuitionistischen Logik.
Using maximal ideals in the classification of MV-algebras