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
Keywords : logic metalogic
Complete list of metadatas

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

Identifiers

  • HAL Id : cel-01228877, version 1

Collections

Citation

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

Share

Metrics

Record views

251

Files downloads

327