@techreport{lamarche:inria-00099866, TITLE = {{Naming Proofs in Classical Propositional Logic}}, AUTHOR = {Lamarche, Fran{\c c}ois and Strassburger, Lutz}, URL = {https://inria.hal.science/inria-00099866}, NOTE = {Rapport interne.}, TYPE = {Intern report}, NUMBER = {A04-R-391 || lamarche04b}, PAGES = {15 p}, YEAR = {2004}, KEYWORDS = {proof nets ; correctness criterion ; classical logic ; cut-elimination ; logique classique ; cat{\'e}gorie autonome ; crit{\`e}re de correction ; {\'e}limination des coupures ; autonomous category ; r{\'e}seaux de d{\'e}monstration}, PDF = {https://inria.hal.science/inria-00099866/file/A04-R-391.pdf}, HAL_ID = {inria-00099866}, HAL_VERSION = {v1}, }