34 citations · 144 across the 66 of their papers we have counts for
Showing 2015Show all
4 papers · 1 filter
cs.DM2015
Discrete geodesics and cellular automata
Pablo Arrighi, Gilles Dowek
This paper proposes a dynamical notion of discrete geodesics, understood as straightest trajectories in discretized curved spacetime. The notion is generic, as it is formulated in…
cs.LO2015
Deduction modulo theory
Gilles Dowek
This paper is a survey on Deduction modulo theory
cs.LO2015
Models and termination of proof reduction in the -calculus modulo theory
Gilles Dowek
We define a notion of model for the -calculus modulo theory and prove a soundness theorem. We then define a notion of super-consistency and prove that proof reduction termina…
cs.LO2015
Proof Normalisation in a Logic Identifying Isomorphic Propositions
Alejandro Díaz-Caro, Gilles Dowek
We define a fragment of propositional logic where isomorphic propositions, such as and , or and $(A\Rightarrow B)\land(A\Rightarrow C…