Towards an Inferentialist Account of Information Through Proof-theoretic Semantics
यह शोधपत्र प्रमाण-सिद्धांतिक अर्थशास्त्र (proof-theoretic semantics) पर आधारित सूचना के एक अनुमानवादी (inferentialist) विवरण का प्रस्ताव करता है, जो वितरित प्रणालियों में सूचना प्रवाह के बारे में कठोर तर्कसंगत विवेचना को सक्षम करने हेतु "इन्फेरॉन" (inferon) के लिए एक गणितीय-तार्किक ढांचे को विकसित करने के लिए पारंपरिक सत्य के स्थान पर अनुमानयोग्यता (inferability) को प्रतिस्थापित करता है।