Social intuitionistic logic
Does anyone know of any efforts to develop a form of intuitionism wherein “proof” is actually a trust network that establishes, under some threshold, the truth of a proposition? I suppose such a system would resemble access control logics, where $p~\mathsf{says}~\phi$ is a formula meaning that principal $p$ has stipulated the truth of formula $\phi$. In my head, a proof term is now an entire network of principals and their relative trust in each other, paired with a traversal of that network that establishes the fact.
This is a half-baked (or rather, 1/16-baked) idea for my long-term research goal of designing a formal language of reasoning for use in journalism.
