Towards an Inferentialist Account of Information Through Proof-theoretic Semantics
Article théorique proposant une fondation logico-mathématique de l'information via la sémantique proof-théorique. Remplace la notion de vérité par l'inférabilité dans le cadre d'une théorie inférentialiste, introduit le concept d'« inferon » et applique ces outils aux systèmes distribués.