Système d’information en philosophie des sciences
Information system on philosophy of science

ImprimerEnvoyer le lien

ARTICLE

Le logique paraconsistante

  • Pages : 107 à 115
  •  
  •  
  •  
  • Date de création : 04-01-2011
  • Dernière mise à jour : 04-01-2011

Résumé :

Français

La logique paraconsistante permet de raisonner en présence de contradictions et offre par là même une nouvelle conception de la notion de preuve qui s’avère particulièrement intéressante pour l’intelligence artificielle. – Introduction. – 1. Qu’est-ce que la logique paraconsistante ?; – 2. Systèmes de preuves paraconsistantes (Déduction naturelle; Calcul des séquents); – 3. Interprétations et applications des systèmes de preuves paraconsistants.

 

Haut de page

Retour à la page précédente

Mentions légales © SIPS, 2021.
Dernière mise à jour : Lundi 25 octobre 2021