Syntactical and semantical properties of simple type theory
From MaRDI portal
Publication:3845367
DOI10.2307/2963525zbMath0109.00511MaRDI QIDQ3845367
Publication date: 1960
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2963525
03-XX: Mathematical logic and foundations
Related Items
Schnittelimination in einem Teilsystem der einfachen Typenlogik, A nonconstructive proof of Gentzen’s Hauptsatz for second order predicate logic, Natural Deduction, Inference, and Consistency, Simple type theory of Gentzen style with the inference of extensionality, Electronic communication of mathematics and the interaction of computer algebra systems and proof assistants, A simple proof that super-consistency implies cut elimination, A semantics for \(\lambda \)Prolog, Vollständigkeit und Schnittelimination in der intuitionistischen Typenlogik, Ein starker Normalisationssatz für die intuitionistische Typentheorie, Proofs with monotone cuts, A Constructive Semantic Approach to Cut Elimination in Type Theories with Axioms, Completeness of cut-free type theories
Cites Work