I was kindly granted permission by the Association for Symbolic Logic to post here the publisher's final version of the abstract.

I was asked to include a full bibliographic reference: Jaime Gaspar, Proof interpretations with truth, The Bulletin of Symbolic Logic, volume 17, number 2, pages 296-297, June 2011.

I was asked to mention that the copyright is owned by the Association for Symbolic Logic (I think that it is owned by me).