Keywords
- Induction Hypothesis
- Basic System
- Normal Derivation
- Predicate Logic
- Intuitionistic Logic
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, access via your institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Gabbay, D. Applications of trees to intermediate logics, J. Symbolic Logic 37(1972), 135–138.
_____ Semantic proof of Craig’s theorem for intuitionistic logic and its extensions, I and II. Proc. 1969 Logic Colloquium, North-Holland Publ. Co., Amsterdam(1971), 391=410.
_____ Craig interpolation theorem for intuitionistic logic and extensions, Part III. J. Symbolic Logic 42(1977), 269–271.
López-Escobar, E.G.K. On the interpolation theorem for the logic of constant domains. J. Symbolic Logic 46(1981), 87–88.
_____ A second paper on the interpolation theorem for the logic of constant domains. J. Symbolic Logic 48 (1983), 595–599.
_____ A natural deduction system for some intermediate logics. J. of Non-Classical Logic, 1(1982)
Maksimowa, L. Craig’s interpolation theorem and amalgamable varieties, Algebra i Logica 16(1977), 643–681.
Schütte, K. Der Interpolationssatz der intuitionistischen Prädikatenlogik, Mathematische Annalen 148(1962), 192–200.
_____ Proof theory, Springer-Verlag, Berlin-Heidelberg-New York (1977).
Umezawa, T. On logics intermediate between intuitionistic and classical predicate logic, J. Symbolic Logic 24(1959) 141–153.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1985 Springer-Verlag
About this paper
Cite this paper
Rauszer, C. (1985). Formalizations of certain intermediate logics Part I. In: Di Prisco, C.A. (eds) Methods in Mathematical Logic. Lecture Notes in Mathematics, vol 1130. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0075319
Download citation
DOI: https://doi.org/10.1007/BFb0075319
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-15236-1
Online ISBN: 978-3-540-39414-3
eBook Packages: Springer Book Archive
