Homology, Homotopy and Applications, vol.5(2), 2003, pp.137–209 ON THE GEOMETRY OF INTUITIONISTIC S4 PROOFS - Classical geometry - Document - PDFSEARCH.IO

First Page	Meta Content
	Homology, Homotopy and Applications, vol.5(2), 2003, pp.137–209 ON THE GEOMETRY OF INTUITIONISTIC S4 PROOFS Add to Reading List Document Date: 2003-04-22 14:53:24 Open Document File Size: 688,21 KB Share Result on Facebook Company Bull S.A. / / Event Business Partnership / / IndustryTerm natural deduction systems / / Person Jean Goubault-Larrecq / ERIC GOUBAULT / Gerhard Gentzen / Gunnar Carlsson / / Position MP / first author / mathematician / / ProgrammingLanguage K / Lisp / / Technology dom / / SocialTag Logic in computer science Philosophical logic Non-classical logic Propositional calculus Proof theory Combinatory logic Natural deduction Curry–Howard correspondence Modal logic Logic

Homology, Homotopy and Applications, vol.5(2), 2003, pp.137–209 ON THE GEOMETRY OF INTUITIONISTIC S4 PROOFSAdd to Reading List