Switch to: Citations

References in:

The Guptα-Belnαp Systems S and S* are not Axiomatisable

Notre Dame Journal of Formal Logic 34 (4):583-596 (1993)

Add references

You must login to add references.

The truth is never simple.John P. Burgess - 1986 - Journal of Symbolic Logic 51 (3):663-681.details The complexity of the set of truths of arithmetic is determined for various theories of truth deriving from Kripke and from Gupta and Herzberger. Liar Paradox in Logic and Philosophy of Logic Revision Theory of Truth in Philosophy of Language Truth, Misc in Philosophy of Language Direct download (8 more) Export citation Bookmark 61 citations
[Omnibus Review].Yiannis N. Moschovakis - 1968 - Journal of Symbolic Logic 33 (3):471-472.details Logic and Philosophy of Logic Model Theory in Logic and Philosophy of Logic Direct download (2 more) Export citation Bookmark 55 citations

1