Pages that link to "Item:Q3845367"
From MaRDI portal
The following pages link to Syntactical and semantical properties of simple type theory (Q3845367):
Displayed 12 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)
- Vollständigkeit und Schnittelimination in der intuitionistischen Typenlogik (Q2553430) (← links)
- Ein starker Normalisationssatz für die intuitionistische Typentheorie (Q2558857) (← 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)
- 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)