pen icon Colloque
quote

L'indépendance de systèmes complets d'axiomes pour le calcul propositionnel

Maurice L'Abbé
ML

Membre a labase

Maurice L'Abbé

Résumé du colloque

Nous nous proposons de prouver en partie une conjecture de L. Henkin, concernant l'indépendance des systèmes complets d'axiomes qu'il proposait récemment pour le calcul propositionnel, et certains fragments de ce calcul (The Journal of Symbolic Logic, 14: 42-48. 1949). Considérons un système formel où J et K (une fonction monadique) sont les seules fonctions primitives. Les axiomes sont les trois formules p ⊃ (q ⊃ p), (p ⊃ q) ⊃ ((p ⊃ (q ⊃ r)) ⊃ (p ⊃ r)),(p,r)(((p,q)⊃r)?), ainsi que les formules p' ⊃ K(p) ? Nous prouvons que chacun des systèmes d'axiomes distincts ainsi obtenus est indépendant.

Contexte

Section :
Mathématiques
news icon Thème du colloque :
Mathématiques
manager icon Responsables :
Abel Gauthier P.-A. Bricout
host icon Hôte : Université de Montréal

Découvrez d'autres communications scientifiques

news icon

Titre du colloque :

Mathématiques
L'indépendance de systèmes complets d'axiomes pour le calcul propositionnel
Maurice L'Abbé
Abaque vectoriel
P.-A. Bricout
Origine des séries du type A de Gram-Charlier. Hypothèses des petites influences
Jacques Saint-Pierre
Voir tous les contenus de ce colloque

Autres communications du même congressiste :

news icon

Thème du colloque :

Mathématiques
Systèmes logiques basés sur une théorie des types transitifs
Maurice L'Abbé
Démonstration par récurrence: justification et méthode de présentation
Maurice L'Abbé
La recherche en sciences exactes et naturelles
Maurice L'Abbé