Syntactical and semantical properties of simple type theory

DOI10.2307/2963525zbMATH Open0109.00511OpenAlexW2089702017MaRDI QIDQ3845367FDOQ3845367

Kurt Schütte

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

zbMATH Keywords

mathematical logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Title not available (Why is that?)
• Ein System des Verknüpfenden Schliessens
• Eine Bemerkung zu Henkin's Beweis für die Vollständigkeit des Prädikatenkalküls der ersten Stufe

Cited In (33)

• A nonconstructive proof of Gentzen’s Hauptsatz for second order predicate logic
• Proofs with monotone cuts
• Electronic communication of mathematics and the interaction of computer algebra systems and proof assistants
• A simple proof that super-consistency implies cut elimination
• Schnittelimination in einem Teilsystem der einfachen Typenlogik
• Paraconsistency and the need for infinite semantics
• Ein starker Normalisationssatz für die intuitionistische Typentheorie
• Semantical Approach to Cut Elimination and Subformula Property in Modal Logic
• A semantics for \(\lambda \)Prolog
• Cut-elimination for quantified conditional logic
• Completeness of cut-free type theories
• Cut-Elimination for SBL
• Prawitz, Proofs, and Meaning
• Setoid type theory -- a syntactic translation
• Cut elimination, identity elimination, and interpolation in super-Belnap logics
• Simply-typed underdeterminism
• Is cut-free logic fit for unrestricted abstraction?
• Simple type theory of Gentzen style with the inference of extensionality
• Lorenzen Between Gentzen and Schütte
• From Probability Measures to Each Lévy Triplet and Back
• Reminiscences of Kurt Schütte
• On non-deterministic functional completeness
• A cut-free calculus for second-order Gödel logic
• Is Cantor's theorem a dialetheia? Variations on a paraconsistent approach to Cantor's theorem
• Title not available (Why is that?)
• A Constructive Semantic Approach to Cut Elimination in Type Theories with Axioms
• Memories of Kurt Schütte and the logic group in Munich: A personal report
• Vollständigkeit und Schnittelimination in der intuitionistischen Typenlogik
• One step is enough
• Natural Deduction, Inference, and Consistency
• Completeness and cut-elimination for first-order ideal paraconsistent four-valued logic
• Simple Types in Type Theory: Deep and Shallow Encodings
• Category theory in Isabelle/HOL as a basis for meta-logical investigation

This page was built for publication: Syntactical and semantical properties of simple type theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3845367)