Towards an Inferentialist Account of Information Through Proof-theoretic Semantics

En 3 lignesArticle 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.

Résumé généré par Claude — vérifié par l'humain