×

zbMATH — the first resource for mathematics

Hermant, Olivier

Compute Distance To:
Author ID: hermant.olivier Recent zbMATH articles by "Hermant, Olivier"
Published as: Hermant, Olivier
Documents Indexed: 17 Publications since 2005

Publications by Year

Citations contained in zbMATH Open

9 Publications have been cited 30 times in 18 Documents Cited by Year
Semantic cut elimination in the intuitionistic sequent calculus. Zbl 1114.03044
Hermant, Olivier
7
2005
Zenon modulo: when Achilles outruns the tortoise using deduction modulo. Zbl 1406.68105
Delahaye, David; Doligez, Damien; Gilbert, Frédéric; Halmagrand, Pierre; Hermant, Olivier
6
2013
A simple proof that super-consistency implies cut elimination. Zbl 1203.03086
Dowek, Gilles; Hermant, Olivier
4
2007
A semantic completeness proof for TaMeD. Zbl 1165.68451
Bonichon, Richard; Hermant, Olivier
4
2006
Resolution is cut-free. Zbl 1197.03010
Hermant, Olivier
3
2010
On constructive cut admissibility in Deduction Modulo. Zbl 1178.03021
Bonichon, Richard; Hermant, Olivier
3
2007
Polarizing double-negation translations. Zbl 1433.03014
Boudard, Mélanie; Hermant, Olivier
1
2013
Completeness and cut-elimination in the intuitionistic theory of types. II. Zbl 1188.03042
Hermant, Olivier; Lipton, James
1
2010
A constructive semantic approach to cut elimination in type theories with axioms. Zbl 1157.03031
Hermant, Olivier; Lipton, James
1
2008
Zenon modulo: when Achilles outruns the tortoise using deduction modulo. Zbl 1406.68105
Delahaye, David; Doligez, Damien; Gilbert, Frédéric; Halmagrand, Pierre; Hermant, Olivier
6
2013
Polarizing double-negation translations. Zbl 1433.03014
Boudard, Mélanie; Hermant, Olivier
1
2013
Resolution is cut-free. Zbl 1197.03010
Hermant, Olivier
3
2010
Completeness and cut-elimination in the intuitionistic theory of types. II. Zbl 1188.03042
Hermant, Olivier; Lipton, James
1
2010
A constructive semantic approach to cut elimination in type theories with axioms. Zbl 1157.03031
Hermant, Olivier; Lipton, James
1
2008
A simple proof that super-consistency implies cut elimination. Zbl 1203.03086
Dowek, Gilles; Hermant, Olivier
4
2007
On constructive cut admissibility in Deduction Modulo. Zbl 1178.03021
Bonichon, Richard; Hermant, Olivier
3
2007
A semantic completeness proof for TaMeD. Zbl 1165.68451
Bonichon, Richard; Hermant, Olivier
4
2006
Semantic cut elimination in the intuitionistic sequent calculus. Zbl 1114.03044
Hermant, Olivier
7
2005

Citations by Year