Skip to main content
SpringerLink
Log in

Quelques remarques sur les ‘Tableaux de Beth’

  • 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

Log in via an institution

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

Instant access to the full article PDF.

Institutional subscriptions

Reférences

  1. Evert 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. Ce premier texte d'introduction des tableaux (nous nous en tenons ici au cas classique) a été repris dans le traité: Evert W. Beth,The Foundations of Mathematics, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1959 (Paperback edition: Harper Torchbooks, 1966).

  3. M. Guillaume, ‘Les tableaux sémantiques du calcul des prédicats restreint’,Séminaire Bourbaki, année 1957–58, exposé no. 153–01.

  4. M. Guillaume, ‘Rapports entre calculs propositionnels modaux et topologie impliqués par certaines extensions de la méthode des tableaux sémantiques’,Comptes rendus de l'Académie des Sciences,246 (1958) 1140–42, 2207–10, et247 (1958) 1282–83.

    Google Scholar 

  5. M. Guillaume, ‘Calculs de conséquences et tableaux d'épreuve pour les classes algébriques générales d'anneaux booléiens à opérateurs’,Comptes rendus de l'Académie des Sciences Paris 247 (1958) 1542–44.

    Google Scholar 

  6. A. Tarski & J. C. C. McKinsey ‘The Algebra of Topology’,Annals of Mathematics 45 (1944) 141–91.

    Google Scholar 

  7. P. R. Halmos, ‘Monadic Boolean Algebras’,Compositio Mathematica 12 (1955) 217–49.

    Google Scholar 

  8. C. I. Lewis,A Survey of Symbolic Logic, University of California Press, Berkeley 1918.

    Google Scholar 

  9. G. H. von Wright,An Essay in Modal Logic (Studies in Logic and the Foundations of Mathematics), North-Holland Publishing Company, Amsterdam 1951.

    Google Scholar 

  10. Saul A. Kripke, ‘A Completeness Theorem in Modal Logic’,The Journal of Symbolic Logic 24 (1959) 1–14.

    Google Scholar 

  11. J. J. F. Nieland & E. W. Beth, ‘Construction sémantique du systèmeS5, implication et nécessité’,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.

  12. R. Feys, ‘Modèles à variables de différentes sortes pour les logiques modalesM″ ouS5', inThe Concept and the Role of the Model in Mathematics and in Natural and Social Sciences, D. Reidel Publishing Company, Dordrecht 1961.

    Google Scholar 

  13. Dans P. F. Jurie,Coproduits booléiens, “Thèse de 3e Cycle”, Université de Clermont-Ferrand, juin 1965, ce problème a été résolu, au-delà de ce que suggère le texte: il s'avère, là, que le Théorème 11 de Halmos [6], disant que tout réseau booléien monadique admet une extension riche, se démontre sans l'axiome du choix!

Download references

Author information

Authors and Affiliations

  1. Faculté des Sciences de Clermont, USA

    Marcel Guillaume

Authors
  1. Marcel Guillaume
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Guillaume, M. Quelques remarques sur les ‘Tableaux de Beth’. Synthese 16, 27–33 (1966). https://doi.org/10.1007/BF00873574

Download citation

  • Issue Date:

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

Search

Navigation