Syntactical and semantical properties of simple type theory
From MaRDI portal
(Redirected from Publication:3845367)
Cites work
Cited in
(36)- Proofs with monotone cuts
- Electronic communication of mathematics and the interaction of computer algebra systems and proof assistants
- A nonconstructive proof of Gentzen’s Hauptsatz for second order predicate logic
- 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
- A semantics for Prolog
- Cut-elimination for quantified conditional logic
- Completeness of cut-free type theories
- Cut-Elimination for SBL
- Setoid type theory -- a syntactic translation
- Prawitz, Proofs, and Meaning
- Cut elimination, identity elimination, and interpolation in super-Belnap logics
- Simply-typed underdeterminism
- Is cut-free logic fit for unrestricted abstraction?
- Typed object theory
- Lorenzen Between Gentzen and Schütte
- Simple type theory of Gentzen style with the inference of extensionality
- Reminiscences of Kurt Schütte
- Gentzen in the 3- and 4-valued jungle
- On non-deterministic functional completeness
- Semantical approach to cut elimination and subformula property in modal logic
- A cut-free calculus for second-order Gödel logic
- scientific article; zbMATH DE number 6923849 (Why is no real title available?)
- Is Cantor's theorem a dialetheia? Variations on a paraconsistent approach to Cantor's theorem
- 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
- Non-deterministic semantics for cocanonical and semi-cocanonical deduction systems
- From probability measures to each Lévy triplet and back
- 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)
