Back to Results
First PageMeta Content
Proof theory / Logic in computer science / Propositional calculus / Mathematical constructivism / Intuitionistic logic / Non-classical logic / Sequent calculus / Negation / Natural deduction / Mathematical logic / Logic / Mathematics


Double Negation Translations as Morphisms Olivier Hermant CRI, MINES ParisTech December 1, 2014
Add to Reading List

Document Date: 2014-12-23 09:45:32

Open Document

File Size: 162,37 KB

Share Result on Facebook

OperatingSystem

Sequent / /

Person

Natal O. Hermant / Olivier Hermant / /

SocialTag