Common sense for concurrency and strong paraconsistency using unstratified inference and reflection
Please see: Common sense for concurrency and strong paraconsistency using unstratified inference and reflection
Labels: Concurrency, Direct Logic, Gödel, Logical Necessity of Inconsistency, Norms, Organizational Computing, ORGs (Organizations of Restricted Generality), Reflection, Strong Paraconsistency