Completeness of the Tree System for Propositional Classical Logic - HAL Accéder directement au contenu
Cours Année : 2015

Completeness of the Tree System for Propositional Classical Logic

Résumé

It is a presentation based on Fitting and Smullyan's system of semantic trees (or tableaux) for classical propositional logic It is intended for a seminar at Licence 3 level

Mots clés

Fichier principal
Vignette du fichier
CompletenessClassicalTrees17NOV2015.pdf ( 132.61 Ko ) Télécharger
Loading...

Dates et versions

cel-01228877, version 1 (17-11-2015)

Identifiants

  • HAL Id : cel-01228877 , version 1

Citer

Shahid Rahman. Completeness of the Tree System for Propositional Classical Logic. Licence. France. 2015. ⟨cel-01228877⟩
166 Consultations
405 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