Carl Hewitt (http://carlhewitt.info)

Monday, April 28, 2008

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

posted by Carl at Monday, April 28, 2008

Previous Posts

  • Norms and Commitment for ORGs (Organizations of Re...
  • Large-scale Organizational Computing requires Unst...
  • Middle History of Logic Programming
  • Carl Hewitt Articles and Sites
  • Carl Hewitt's Seminars
  • Carl Hewitt's Academic Biography
  • Carl Hewitt's Publications
  • The Logical Necessity of Inconsistency (at Stanfor...
  • The Logical Necessity of Inconsistency (at Edinbur...