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

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)

Licence

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⟩
281 Consultations
575 Téléchargements

Partager

  • More