W3C home > Mailing lists > Public > public-rif-wg@w3.org > May 2010

ACTION-1007 - Review new FLD appendix on herbrand structures

From: Adrian Paschke <adrian.paschke@gmx.de>
Date: Mon, 10 May 2010 11:41:41 +0200
To: "'Public-Rif-Wg'" <public-rif-wg@w3.org>
Message-ID: <001e01caf024$fed9dca0$fc8d95e0$@paschke@gmx.de>


I have looked at the FLD appendix defining Herbrand Semantic Structures and
have not found any inconsistency.


I was just wondering if we should add a note to the Definition (Consistent
Semantic Structure)  mentioning logics such as defeasible logic which can
handle inconsistencies where in the monotonic case TValI() and TValI(Neg )
are both t.


Received on Monday, 10 May 2010 09:42:22 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:47:58 UTC