November 2011
1 post
2 tags
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...