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

Shahid Rahman

Lectures Year : 2015

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

(1)

Shahid Rahman

Function: Author
PersonId: 5613
IdHAL: shahid-rahman
IdRef: 059922435

Savoirs, Textes, Langage (STL) - UMR 8163

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

Domains

Philosophy

Complete list of metadata

Submission Type	File
Deposit type	Lectures
Title	en Soundness of the System of Semantic Trees for Classical Logic based on Fitting and Smullyan
Abstract	en 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
Authors	Shahid Rahman ¹ 1 STL - Savoirs, Textes, Langage (STL) - UMR 8163 ( 11909 ) - Domaine Universitaire du Pont de Bois - Batiment B4 rue du Barreau - BP 60149 - 59653 VILLENEUVE D'ASCQ CEDEX - France Université de Lille ( 374570 ) ; Centre National de la Recherche Scientifique UMR8163 ( 441569 )
Fulltext language	English
Date of the class	2015-11-23
Country	France
Course level	Licence
Domain	Humanities and Social Sciences/Philosophy
Établissement qui délivre le cours	Université de Lille 3
Keywords	en Logic, metalogic

Main file

SoundClassicalTrees17NOV2015.pdf ( 134.76 Ko )

Shahid Rahman : Connect in order to contact the contributor

https://shs.hal.science/cel-01228875

Submitted on: Tuesday, November 17, 2015 at 5:29:12 PM

Last modification on: Wednesday, January 24, 2024 at 9:54:19 AM

Long-term archiving on: Thursday, February 18, 2016 at 10:51:10 AM

Dates and versions

cel-01228875, version 1 (17-11-2015)

Identifiers

HAL Id : cel-01228875 , version 1

Cite

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

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

CNRS STL OMNIPHILO CAMPUS-AAR AAI UNIV-LILLE

186 View

147 Download

Last update date on 5/12/24

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

Abstract

Keywords

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Share