Ein Ausgezeichnetes Modell Für Die Intuitionistische Typenlogik

DOI10.1007/BF02280815zbMath0317.02026OpenAlexW1977709525MaRDI QIDQ4077989

Wilfried Buchholz

Publication date: 1975

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

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

Mathematics Subject Classification ID

Model theory (03C99) Intermediate logics (03B55)

Related Items (3)

Algebraic proofs of cut elimination ⋮ Forcing in Proof Theory ⋮ A uniform semantic proof for cut-elimination and completeness of various first and higher order logics.

Cites Work

• Vollständigkeit und Schnittelimination in der intuitionistischen Typenlogik
• Ein syntaktischer Beweis für die Zulässigkeit der Schnittregel im Kalkül von Schütte für die intuitionistische Typenlogik
• Hauptsatz for higher order logic

This page was built for publication: Ein Ausgezeichnetes Modell Für Die Intuitionistische Typenlogik