Skip to main content
Log in

Beth's tableau-method

  • Published:
Synthese Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  1. E. W. Beth, ‘Semantic Entailment and Formal Derivability’,Mededelingen van de Koninklijke Nederlandse Akademie van Wetenschappen, Afd. Letterkunde n.s.18 (1955) 309–42.

    Google Scholar 

  2. E. W. Beth,The Foundations of Mathematics, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1959.

    Google Scholar 

  3. E. W. Beth,Formal Methods, D. Reidel Publishing Company, Dordrecht 1962.

    Google Scholar 

  4. E. W. Beth, ‘Le système S4 et la topologie’. Report no. 13 in [5].

  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.

  6. A. Heyting,Intuitionism, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1959.

    Google Scholar 

  7. C. I. Lewis and C. H. Langford,Symbolic Logic, Reprinted by Dover Publications, New York 1959.

    Google Scholar 

  8. J. J. F. Nieland, ‘Construction sémantique du système S5, Implication Stricte’, Report no. 7 in [5].

  9. J. J. F. Nieland and E. W. Beth, ‘Construction sémantique du système S4, Part B’, Report no. 6 in [5].

  10. 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.

    Google Scholar 

  11. A. Tarski,Inleiding tot de logica, translated by E. W. Beth, N. V. Noord-Hollandse Uitgeversmaatschappij, Amsterdam 1953.

    Google Scholar 

  12. A. S. Troelstra, ‘On Intermediate Propositional Logics’,Proceedings of the Koninklijke Nederlandse Akademie van Wetenschappen, Series A68 (1965), andIndagationes Mathematicae 27 (1965).

Download references

Authors

Rights and permissions

Reprints 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

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00873573

Navigation