- From: Axel Polleres <axel.polleres@urjc.es>
- Date: Sat, 16 Sep 2006 20:25:25 +0200
- To: "Public-Rif-Wg (E-mail)" <public-rif-wg@w3.org>
Dear all, As promised (a while ago, sorry for the delay), I drafted a page to clarify the different notions of "negation" at http://www.w3.org/2005/rules/wg/wiki/negation Thanks to Gerd, Michael, Jos who gave some comments to earlier versions, admittedly, especially the part on non-monotonic negation might still need more work. The main focus in this first version was to clarify the differences classical-intuitionistic-strong negation. comments welcome! Axel -- Dr. Axel Polleres email: axel@polleres.net url: http://www.polleres.net/
Received on Saturday, 16 September 2006 18:25:39 UTC