`Travelled to:`

1 × France

1 × Italy

1 × Serbia

2 × Japan

`Collaborated with:`

D.Cousineau J.Lipton G.Dowek ∅ A.Brunel C.Houtmann

`Talks about:`

elimin (4) cut (4) semant (3) proof (2) that (2) intuitionist (1) construct (1) orthogon (1) calculus (1) approach (1)

## Person: Olivier Hermant

### DBLP: Hermant:Olivier

### Contributed to:

### Wrote 5 papers:

- RTA-2012-CousineauH #proving #semantics
- A Semantic Proof that Reducibility Candidates entail Cut Elimination (DC, OH), pp. 133–148.
- TLCA-2011-BrunelHH #algebra #deduction #orthogonal
- Orthogonality and Boolean Algebras for Deduction Modulo (AB, OH, CH), pp. 76–90.
- CSL-2008-HermantL #approach #axiom #semantics
- A Constructive Semantic Approach to Cut Elimination in Type Theories with Axioms (OH, JL), pp. 169–183.
- RTA-2007-DowekH #proving
- A Simple Proof That Super-Consistency Implies Cut Elimination (GD, OH), pp. 93–106.
- TLCA-2005-Hermant #calculus #semantics
- Semantic Cut Elimination in the Intuitionistic Sequent Calculus (OH), pp. 221–233.