Completeness of the Tree System for Propositional Classical Logic

Shahid Rahman (1)

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

It is a presentation based on Fitting and Smullyan's system of semantic trees (or tableaux) for classical propositional logic It is intended for a seminar at Licence 3 level

Mots clés: logic; metalogic

Domaines: Philosophie; Sciences de l'Homme et Société

Shahid Rahman. Completeness of the Tree System for Propositional Classical Logic. Licence. France. 2015. ⟨cel-01228877⟩