Literatur
Kripke, S.: Semantical analysis of intuitionistic logic. Formal systems and recursive functions. North Holland (1965).
Lyndon, R. G.: An interpolation theorem in the predicate calculus, Pacific Journal Math. vol. 9 (1959).
Lyndon, R. G.: Properties preserved under homomorphism. Pacific Journal Math. vol. 9 (1959).
Osswald, H.: Modelltheoretische Untersuchungen in der Kripke-Semantik. Archiv math. Logik13 (1969).
Schütte, K.: Schlußweisenkalküle der Prädikatenlogik. Math. Annalen122 (1950).
Schütte, K.: Der Interpolationssatz der intuitionistischen Prädikatenlogik. Math. Annalen148 (1962).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Osswald, H. Homorphie-invariante Formeln in der intuitionistischen Logik. Arch math Logik 15, 86–96 (1972). https://doi.org/10.1007/BF02019780
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02019780