Re: ACTION-1007 - Review new FLD appendix on herbrand structures

Thanks Adrian,

This is just a definition for use by dialects. The other definitions do not
rely on this assumption.
So, I moved it to the end to avoid the impression that there is a connection
and added a statement that some dialects might require consistency while others
not.

michael


On Mon, 10 May 2010 11:41:41 +0200
Adrian Paschke <adrian.paschke@gmx.de> wrote:

> 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 16:03:34 UTC