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>
Hi,

 

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.

 

-Adrian
Received on Monday, 10 May 2010 09:42:22 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 10 May 2010 09:42:23 GMT