Switch to: Citations

References in:

A Polynomial Translation of S4 into Intuitionistic Logic

David Fernandez

Journal of Symbolic Logic 71 (3):989 - 1001 (2006)

Add references

You must login to add references.

A Short Introduction to Intuitionistic Logic.Helmut Schwichtenberg - 2002 - Bulletin of Symbolic Logic 8 (4):520-521.details Intuitionistic Logic in Logic and Philosophy of Logic Logic and Philosophy of Logic Direct download (3 more) Export citation Bookmark 6 citations
ASH, CJ, Stability of recursive structures in arithmetical degrees BLASS, A. and GUREVICH, Y., Henkin quantifiers and complete problems BUCHHOLZ, W., A new system of proof-theoretic ordinal functions. [REVIEW]H. Friedman & Rc Flagg - 1986 - Annals of Pure and Applied Logic 32 (C):299.details Logic and Philosophy of Logic Proof Theory in Logic and Philosophy of Logic Direct download (2 more) Export citation Bookmark 8 citations
Epistemic and intuitionistic formal systems.R. C. Flagg & H. Friedman - 1986 - Annals of Pure and Applied Logic 32:53-60.details Intuitionistic Logic in Logic and Philosophy of Logic Logic and Philosophy of Logic Direct download (4 more) Export citation Bookmark 16 citations

1