Abstract
Il s’agit de l’interprétation des «tableaux sémantiques» en logique algébrique [1].
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
RÉfÉrences
Evert W. Beth, ‘Semantic Entailment and Formal Derivability’, Mededelingen van de Koninklijke Nederlandse Akademie van Wetenschappen, Afd. Letterkunde, n.s. 18 (1955) 309–42. 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).
M. Guillaume, ‘Les tableaux sémantiques du calcul des prédicats restreint’, Séminaire Bourbaki, année 1957-58, exposé no. 153-01.
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, Paris 246 (1958) 1140–42, 2207-10, et 247 (1958) 1282-83.
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 241 (1958) 1542–44.
A. Tarski & J. C. C. McKinsey, ‘The Algebra of Topology’, Annals of Mathematics 45 (1944) 141–91.
P. R. Halmos, ‘Monadic Boolean Algebras’, Compositio Mathematica 12 (1955) 217–49.
C. I. Lewis, A Survey of Symbolic Logic, University of California Press, Berkeley 1918.
G. H. von Wright, An Essay in Modal Logic (Studies in Logic and the Foundations of Mathematics), North-Holland Publishing Company, Amsterdam 1951.
Saul A. Kripke, ‘A Completeness Theorem in Modal Logic’, The Journal of Symbolic Logic 24 (1959) 1–14.
J. J. F. Nieland & E. W. Beth, ‘Construction sémantique du système 55, 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.
R. Feys, ‘Modèles à variables de différentes sortes pour les logiques modales M” ou S5’, in The Concept and the Role of the Model in Mathematics and in Natural and Social Sciences, D. Reidel Publishing Company, Dordrecht 1961.
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 !
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1967 D. Reidel Publishing Company, Dordrecht, Holland
About this chapter
Cite this chapter
Guillaume, M. (1967). Quelques Remarques Sur Les “Tableaux De Beth”. In: Destouches, JL. (eds) E.W. Beth Memorial Colloquium. Springer, Dordrecht. https://doi.org/10.1007/978-94-010-3520-0_6
Download citation
DOI: https://doi.org/10.1007/978-94-010-3520-0_6
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-3522-4
Online ISBN: 978-94-010-3520-0
eBook Packages: Springer Book Archive