Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik.
Über die Kennzeichnung von Junktoren durch die Gestalt der Herleitbaren Ausdrücke.
Ueber den allgemeinen Functionsbegriff und dessen Darstellung durch eine willkürliche Curve
Ueber den grössten gemeinsamen Factor
Ueber die Auflösung linearer Gleichungen mit reellen Coefficienten
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.