Completeness of the Tree System for Propositional Classical Logic - HAL-SHS - Sciences de l'Homme et de la Société
Cours Année : 2015

Completeness of the Tree System for Propositional Classical Logic

Shahid Rahman
Savoirs, Textes, Langage (STL) - UMR 8163
CV

Résumé

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

Mots clés

logic metalogic

Domaines

Philosophie Sciences de l'Homme et Société
Fichier principal
Vignette du fichier
CompletenessClassicalTrees17NOV2015.pdf (132.61 Ko) Télécharger le fichier

Shahid Rahman  : Connectez-vous pour contacter le contributeur

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

Soumis le : mardi 17 novembre 2015-17:27:44

Dernière modification le : mercredi 5 juin 2024-10:26:18

Archivage à long terme le : jeudi 18 février 2016-10:51:19

Télécharger pour visualiser

Dates et versions

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

Identifiants

  • HAL Id : cel-01228877 , version 1

Citer

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

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS STL OMNIPHILO CAMPUS-AAR AAI UNIV-LILLE
176 Consultations
449 Téléchargements

Partager

More