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, July 3, 2018 - 11:24:43 AM
Long-term archiving on : Thursday, February 18, 2016 - 10:51:19 AM
