Soundness of the System of Semantic Trees for Classical Logic based on Fitting and Smullyan - HAL Accéder directement au contenu
Cours Année : 2015

Soundness of the System of Semantic Trees for Classical Logic based on Fitting and Smullyan

Résumé

Iti is simple presentation of the soundness proof for tableaux or semantic trees for classical logic The presentation is based on Fitting and Smullyan It is part of course of Licence 3

Mots clés

Domaines

Philosophie
Fichier principal
Vignette du fichier
SoundClassicalTrees17NOV2015.pdf ( 134.76 Ko ) Télécharger
Loading...

Dates et versions

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

Identifiants

  • HAL Id : cel-01228875 , version 1

Citer

Shahid Rahman. Soundness of the System of Semantic Trees for Classical Logic based on Fitting and Smullyan. Licence. France. 2015. ⟨cel-01228875⟩
186 Consultations
144 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