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

Shahid Rahman (1)

1 STL - Savoirs, Textes, Langage (STL) - UMR 8163

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: Logic; metalogic

Domaines: Philosophie

Shahid Rahman. Soundness of the System of Semantic Trees for Classical Logic based on Fitting and Smullyan. Licence. France. 2015. ⟨cel-01228875⟩