Unterstruktur-invariante Formeln in der intuitionistischen Logik

DOI10.1007/BF02008529zbMath0263.02014OpenAlexW2042399991MaRDI QIDQ5678839

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/137874

Mathematics Subject Classification ID

Intermediate logics (03B55)

Cites Work

• Unnamed Item
• Unnamed Item
• Der Interpolationssatz der intuitionistischen Prädikatenlogik
• Schlussweisen-Kalküle der Prädikatenlogik
• Modelltheoretische Untersuchungen in der Kripke-Semantik
• Homorphie-invariante Formeln in der intuitionistischen Logik

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