Homorphie-invariante Formeln in der intuitionistischen Logik

DOI10.1007/BF02019780zbMath0251.02031OpenAlexW2082426020MaRDI QIDQ5663837

Horst Osswald

Publication date: 1972

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/137870

Mathematics Subject Classification ID

Intermediate logics (03B55)

Related Items (1)

Unterstruktur-invariante Formeln in der intuitionistischen Logik

Cites Work

• Unnamed Item
• An interpolation theorem in the predicate calculus
• Properties preserved under homomorphism
• Der Interpolationssatz der intuitionistischen Prädikatenlogik
• Schlussweisen-Kalküle der Prädikatenlogik
• Modelltheoretische Untersuchungen in der Kripke-Semantik

This page was built for publication: Homorphie-invariante Formeln in der intuitionistischen Logik