Soundness of the System of Semantic Trees ...

Type de document :
Autre communication scientifique (congrès sans actes - poster - séminaire...)
Titre :
Soundness of the System of Semantic Trees for Classical Logic based on Fitting and Smullyan
Auteur(s) :
Rahman, Shahid [Auteur] refId
Savoirs, Textes, Langage (STL) - UMR 8163 [STL]
Pays :
France
Date de publication :
2015-11-23
Mot(s)-clé(s) en anglais :
Logic
metalogic
Discipline(s) HAL :
Sciences de l'Homme et Société/Philosophie
Résumé en anglais : [en]
Iti is simple presentation of the soundness proof for tableaux or semantic trees for classical logicThe presentation is based on Fitting and Smullyan It is part of course of Licence 3
Langue :
Anglais
Collections :
Source :
Harvested from HAL
Fichiers
Thumbnail
Thumbnail
Thumbnail
Thumbnail