Soundness of the System of Semantic Trees for Classical Logic based on Fitting and Smullyan

Abstract : Iti is simple presentation of the soundness proof for tableaux or semantic trees for classical logic The presentation is based on Fitting and Smullyan It is part of course of Licence 3
Keywords : Logic metalogic
Document type :
Lectures
Complete list of metadatas

https://halshs.archives-ouvertes.fr/cel-01228875
Contributor : Shahid Rahman <>
Submitted on : Tuesday, November 17, 2015 - 5:29:12 PM
Last modification on : Tuesday, July 3, 2018 - 11:24:46 AM
Long-term archiving on: Thursday, February 18, 2016 - 10:51:10 AM

Identifiers

  • HAL Id : cel-01228875, version 1

Collections

Citation

Shahid Rahman. Soundness of the System of Semantic Trees for Classical Logic based on Fitting and Smullyan. Licence. France. 2015. ⟨cel-01228875⟩

Share

Metrics

Record views

309

Files downloads

173