This paper proposes a new inferentialist semantic theory for information, moving away from traditional truth-based definitions. It introduces the concept of an 'inferon' as a primitive unit of information, grounded in proof-theoretic semantics. The authors argue this approach offers a more robust mathematical and logical foundation for understanding information, particularly in the context of distributed systems and information flow. AI
Summary written by gemini-2.5-flash-lite from 1 source. How we write summaries →
IMPACT Proposes a new theoretical framework for information that could influence AI reasoning and distributed systems modeling.
RANK_REASON This is a theoretical paper published on arXiv proposing a new semantic theory for information. [lever_c_demoted from research: ic=1 ai=1.0]