Indépendance faible des quantificateurs - HAL Accéder directement au contenu
Article dans une revue Logique et Analyse Année : 2007

Indépendance faible des quantificateurs

Résumé

Quanti cateurs Q1 et Q2 du type <1> sont faiblement indépendants si et seulement si Q1Q2(R) = Q2Q1(R1) pour toute relation- produit R. On donne une condition suf sante et nécessaire pour que deux quanti cateurs soient faiblement indépendants.

Mots clés

Fichier principal
Vignette du fichier
05zuber.pdf ( 72.72 Ko ) Télécharger
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

halshs-00746303, version 1 (27-11-2012)

Identifiants

  • HAL Id : halshs-00746303 , version 1

Citer

Richard Zuber. Indépendance faible des quantificateurs. Logique et Analyse, 2007, 198, pp.173-178. ⟨halshs-00746303⟩
58 Consultations
82 Téléchargements
Dernière date de mise à jour le 28/04/2024
comment ces indicateurs sont-ils produits

Partager

Gmail Facebook Twitter LinkedIn Plus