Pages that link to "Item:Q3845367"
From MaRDI portal
The following pages link to Syntactical and semantical properties of simple type theory (Q3845367):
Displayed 27 items.
- Electronic communication of mathematics and the interaction of computer algebra systems and proof assistants (Q597106) (← links)
- A simple proof that super-consistency implies cut elimination (Q691121) (← links)
- A semantics for \(\lambda \)Prolog (Q1349686) (← links)
- A cut-free calculus for second-order Gödel logic (Q1677040) (← links)
- Cut elimination, identity elimination, and interpolation in super-Belnap logics (Q1685571) (← links)
- Is cut-free logic fit for unrestricted abstraction? (Q2131274) (← links)
- Completeness and cut-elimination for first-order ideal paraconsistent four-valued logic (Q2186695) (← links)
- Paraconsistency and the need for infinite semantics (Q2317507) (← links)
- Cut-elimination for quantified conditional logic (Q2363418) (← links)
- Vollständigkeit und Schnittelimination in der intuitionistischen Typenlogik (Q2553430) (← links)
- Ein starker Normalisationssatz für die intuitionistische Typentheorie (Q2558857) (← links)
- One step is enough (Q2679573) (← links)
- Proofs with monotone cuts (Q2888631) (← links)
- A Constructive Semantic Approach to Cut Elimination in Type Theories with Axioms (Q3540178) (← links)
- Completeness of cut-free type theories (Q4041553) (← links)
- Memories of Kurt Schütte and the logic group in Munich: A personal report (Q5013896) (← links)
- Reminiscences of Kurt Schütte (Q5013897) (← links)
- Cut-Elimination for SBL (Q5013907) (← links)
- From Probability Measures to Each Lévy Triplet and Back (Q5013910) (← links)
- Lorenzen Between Gentzen and Schütte (Q5024725) (← links)
- Prawitz, Proofs, and Meaning (Q5213604) (← links)
- Semantical Approach to Cut Elimination and Subformula Property in Modal Logic (Q5213665) (← links)
- Natural Deduction, Inference, and Consistency (Q5518350) (← links)
- Schnittelimination in einem Teilsystem der einfachen Typenlogik (Q5595150) (← links)
- A nonconstructive proof of Gentzen’s Hauptsatz for second order predicate logic (Q5596744) (← links)
- Simple type theory of Gentzen style with the inference of extensionality (Q5628098) (← links)
- Category theory in Isabelle/HOL as a basis for meta-logical investigation (Q6118814) (← links)