Towards many-valued logical formalism for peer-to-peer coordination computing

Peer-to-peer database coordination has been one of important topics in distributed computing. In this paper, we propose a 4-valued logical formalism for both better understanding object behaviors and coordination computing in peer-to-peer networks. Our framework can be used to describe many-valued objects. The result of such expression provides actionable information, and assist in conveying incomplete, inconsistent and overlapping phenomena in P2P network coordination computing.