Abstract : 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
https://halshs.archives-ouvertes.fr/cel-01228877
Contributor : Shahid Rahman <>
Submitted on : Tuesday, November 17, 2015 - 5:27:44 PM Last modification on : Tuesday, November 3, 2020 - 9:54:03 AM Long-term archiving on: : Thursday, February 18, 2016 - 10:51:19 AM