Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

Sémantique fonctionnelle pour les QBF non-prénexes

Résumé :

Nous proposons dans cet article une sémantique fonctionnelle pour les formules booléennes quantifiées non prénexes.
Le formalisme proposé est symétrique vis-à-vis de la validité ou de la non-validté et permet d'associer différentes interprétations aux quantificateurs.
Il est aussi suffisemment souple pour permettre de définir la notion de certificat pour les procédures de recherche pour les QBF non prénexes.

Type de document :
Communication dans un congrès
Liste complète des métadonnées

https://hal.univ-angers.fr/hal-03352559
Contributeur : Okina Univ Angers Connectez-vous pour contacter le contributeur
Soumis le : jeudi 23 septembre 2021 - 12:18:36
Dernière modification le : mercredi 20 octobre 2021 - 03:19:09

Identifiants

  • HAL Id : hal-03352559, version 1
  • OKINA : ua8047

Collections

Citation

Igor Stéphan. Sémantique fonctionnelle pour les QBF non-prénexes. Actes des Journées Nationales de l'IA Fondamentale (IAF'13), 2013, Aix en Provence, France. ⟨hal-03352559⟩

Partager

Métriques

Consultations de la notice

5