Théorie de la preuve, représentations syntaxiques, logique, et partage