1. Cozzo, C. 2015. Necessity of thought. In Dag Prawitz on proofs and meaning, ed. H. Wansing, 101–120. Heidelberg: Springer.
2. Cozzo, C. 2016. Inference and compulsion. In Second pisa colloquium in logic, language and epistemology, ed. E. Moriconi. Pisa: ETS, forthcoming.
3. Crocco, G., and E. Audureau 2003. Intuitionisme et Constructivisme chez Brouwer. In Calcul et formes de l’activité mathématique, ed. J. Boniface, 190–217. Paris: Ellipses.
4. Díez, G.F. 2000. Five observations concerning the intended meaning of the intuitionistic logical constants. Journal of Philosophical Logic 29(4): 409–424.
5. Došen, K. 2015. Inferential semantics. In Dag Prawitz on proofs and meaning, ed. H. Wansing, 147–162. Heidelberg: Springer.