References
E. W. Beth, ‘Semantic Entailment and Formal Derivability’,Mededelingen van de Koninklijke Nederlandse Akademie van Wetenschappen, Afd. Letterkunde n.s.18 (1955) 309–42.
E. W. Beth,The Foundations of Mathematics, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1959.
E. W. Beth,Formal Methods, D. Reidel Publishing Company, Dordrecht 1962.
E. W. Beth, ‘Le système S4 et la topologie’. Report no. 13 in [5].
Compte rendu des travaux effectués par l'Université d'Amsterdam dans le cadre du contrat Euratom, Contrat No. 010-60-12, Rapport Cetis no. 26, août 1961, Euratom-C.C.R. Ispra.
A. Heyting,Intuitionism, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1959.
C. I. Lewis and C. H. Langford,Symbolic Logic, Reprinted by Dover Publications, New York 1959.
J. J. F. Nieland, ‘Construction sémantique du système S5, Implication Stricte’, Report no. 7 in [5].
J. J. F. Nieland and E. W. Beth, ‘Construction sémantique du système S4, Part B’, Report no. 6 in [5].
J. J. F. Nieland and E. W. Beth, ‘Semantic Construction of Lewis's Systems S4 and S5’, in The Theory of Models (Proceedings of the 1963 International Symposium at Berkeley, ed. by J. W. Addison, L. Henkin and A. Tarski). Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1966, 17–24.
A. Tarski,Inleiding tot de logica, translated by E. W. Beth, N. V. Noord-Hollandse Uitgeversmaatschappij, Amsterdam 1953.
A. S. Troelstra, ‘On Intermediate Propositional Logics’,Proceedings of the Koninklijke Nederlandse Akademie van Wetenschappen, Series A68 (1965), andIndagationes Mathematicae 27 (1965).
Rights and permissions
About this article
Cite this article
Nieland, J.J.F. Beth's tableau-method. Synthese 16, 7–26 (1966). https://doi.org/10.1007/BF00873573
Issue Date:
DOI: https://doi.org/10.1007/BF00873573