 |
Archive ouverte en Sciences de l'Homme et de la Société |
Lectures
Completeness of the Tree System for Propositional Classical Logic
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
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