The metatheory of the classical propositional calculus is not axiomatizable

Journal of Symbolic Logic 50 (2):451-457 (1985)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

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

Through your library

Analytics

Added to PP
2009-01-28

Downloads
220 (#83,954)

6 months
2 (#668,348)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The many faces of interpolation.Johan van Benthem - 2008 - Synthese 164 (3):451-460.

Add more citations

References found in this work

δ-Logics and generalized quantifiers.J. A. Makowsky - 1976 - Annals of Mathematical Logic 10 (2):155-192.

Add more references