Soundness of the System of Semantic Trees for Classical Logic based on Fitting and Smullyan - HAL-SHS - Sciences de l'Homme et de la Société
Cours Année : 2015

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

Shahid Rahman

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.77 Ko) Télécharger le fichier

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⟩
200 Consultations
166 Téléchargements

Partager

More