@article{ITA_1997__31_5_411_0, author = {Blanc, G. and Liogier, K.}, title = {N\'egation constructive et axiomatique interne}, journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications}, pages = {411--428}, publisher = {EDP-Sciences}, volume = {31}, number = {5}, year = {1997}, mrnumber = {1611643}, zbl = {0893.68025}, language = {fr}, url = {http://archive.numdam.org/item/ITA_1997__31_5_411_0/} }