The completeness theorem for infinitary logic

Journal of Symbolic Logic 37 (1):31-34 (1972)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 101,601

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Infinitary propositional relevant languages with absurdity.Guillermo Badia - 2017 - Review of Symbolic Logic 10 (4):663-681.
A note on infinitary continuous logic.Stefano Baratella - 2015 - Mathematical Logic Quarterly 61 (6):448-457.
An Infinitary Graded Modal Logic.Maurizio Fattorosi-Barnaba & Silvano Grassotti - 1995 - Mathematical Logic Quarterly 41 (4):547-563.
A completeness theorem in modal logic.Saul Kripke - 1959 - Journal of Symbolic Logic 24 (1):1-14.

Analytics

Added to PP
2009-01-28

Downloads
93 (#228,701)

6 months
17 (#184,528)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Forcing revisited.Toby Meadows - 2023 - Mathematical Logic Quarterly 69 (3):287-340.
Boolean valued semantics for infinitary logics.Juan M. Santiago Suárez & Matteo Viale - 2024 - Annals of Pure and Applied Logic 175 (1):103333.
Topos Theory in Montréal in the 1970s: My Personal Involvement.Gonzalo E. Reyes - 2019 - History and Philosophy of Logic 40 (4):389-402.

Add more citations

References found in this work

Lectures on Boolean Algebras.Paul R. Halmos - 1966 - Journal of Symbolic Logic 31 (2):253-254.
Languages with Expressions of Infinite Length.William P. Hanf - 1964 - Journal of Symbolic Logic 33 (3):477-478.

Add more references