@INPROCEEDINGS {13625,
author={J. Ramos and C. Caleiro},
doi={0},
booktitle={Logic Colloquium},
title={Classical and intuitionistic propositional logic},
year={2013},
month={July},
volume={0},
pages={0-0} 
}