MINLOG

MINLOG is a proof assistant developed at the University of Munich by the team of Helmut Schwichtenberg. MINLOG is based on first order natural… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1993-2015
02419932015

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2014
Review
2014
This is a tutorial for the interactive proof system Minlog, Version 5.0, developed by Helmut Schwichtenberg and members of the… (More)
Is this relevant?
Review
2011
Review
2011
Minlog is an interactive system which implements prooftheoretic methods and applies them to verification and program extraction… (More)
Is this relevant?
2007
2007
We extract on the computer a number of moduli of uniform continuity for the first few elements of a sequence of closed terms t of… (More)
Is this relevant?
2006
2006
 
Is this relevant?
2005
2005
Carrying out a suggestion by Kreisel, we adapt Gödel’s functional interpretation to ordinary first-order predicate logic(PL) and… (More)
Is this relevant?
2002
2002
We extend normalization by evaluation ((rst presented in 4]) from the pure typed-calculus to general higher type term rewrite… (More)
Is this relevant?
1998
1998
The old idea that proofs are in some sense functions, has been made precise by the Curry-Howard-correspondence between proofs in… (More)
Is this relevant?
1997
1997
Abs t rac t . MINLOG is a theorem prover for propositional minimal logic and Heyting's intuitionist logic. It implements a… (More)
Is this relevant?
1997
1997
The Warshall algorithm computing the transitive closure of a relation is extracted from a constructive proof that repetitions in… (More)
Is this relevant?
Highly Cited
1993
Highly Cited
1993
This paper describes formalizations of Tait’s normalization proof for the simply typed λ-calculus in the proof assistants Minlog… (More)
Is this relevant?