Switch to: References

Citations of:

Deductive validity and reduction classes

In A. O. Slisenko (ed.), Studies in constructive mathematics and mathematical logic. New York,: Consultants Bureau. pp. 26--28 (1969)

Add citations

You must login to add citations.

Elementary intuitionistic theories.C. Smorynski - 1973 - Journal of Symbolic Logic 38 (1):102-134.details Intuitionistic Logic in Logic and Philosophy of Logic Logic and Philosophy of Logic Nonclassical Logics in Logic and Philosophy of Logic Direct download (8 more) Export citation Bookmark 9 citations
Decidability of some intuitionistic predicate theories.Dov M. Gabbay - 1972 - Journal of Symbolic Logic 37 (3):579-587.details Intuitionistic Logic in Logic and Philosophy of Logic Logic and Philosophy of Logic Nonclassical Logics in Logic and Philosophy of Logic Proof Theory in Logic and Philosophy of Logic Direct download (8 more) Export citation Bookmark 5 citations

1