Switch to: Citations

References in:

Interpolation properties of superintuitionistic logics

Larisa L. Maksimova

Studia Logica 38 (4):419 - 428 (1979)

Add references

You must login to add references.

Introduction to Model Theory and to the Metamathematics of Algebra.Abraham Robinson - 1963 - Elsevier Publishing Company.details Areas of Mathematics in Philosophy of Mathematics $29.14 used View on Amazon.com Direct download (2 more) Export citation Bookmark 51 citations
Some theorems about the sentential calculi of Lewis and Heyting.J. C. C. McKinsey & Alfred Tarski - 1948 - Journal of Symbolic Logic 13 (1):1-15.details Alfred Tarski in 20th Century Philosophy Modal Logic in Logic and Philosophy of Logic Polish Philosophy in European Philosophy Direct download (9 more) Export citation Bookmark 143 citations
Craig interpolation theorem for intuitionistic logic and extensions part III.Dov M. Gabbay - 1977 - Journal of Symbolic Logic 42 (2):269-271.details Intuitionistic Logic in Logic and Philosophy of Logic Direct download (8 more) Export citation Bookmark 1 citation
Three uses of the herbrand-Gentzen theorem in relating model theory and proof theory.William Craig - 1957 - Journal of Symbolic Logic 22 (3):269-285.details Model Theory in Logic and Philosophy of Logic Proof Theory in Logic and Philosophy of Logic Direct download (8 more) Export citation Bookmark 61 citations
[Omnibus Review].William Craig - 1957 - Journal of Symbolic Logic 22 (4):360-363.details Logic and Philosophy of Logic Model Theory in Logic and Philosophy of Logic Export citation Bookmark 6 citations

1