search

ProofSystem / Encyclopedia

An Open Encyclopedia of Proof Systems
116 stars 37 forks source link

Entry about Tableaux #36

Open ceilican opened 8 years ago

ceilican commented 8 years ago

Beth, Evert W., 1955. "Semantic entailment and formal derivability", Mededelingen van de Koninklijke Nederlandse Akademie van Wetenschappen, Afdeling Letterkunde, N.R. Vol 18, no 13, 1955, pp 309–42

ceilican commented 8 years ago

This was suggested by Valeria de Paiva

gisellemnr commented 7 years ago

During the EPS event in TABLEAUX 2017, an entry on Smullyan's tableaux was suggested. Check if it is the same as the one in the reference above.