ACTION-1007 - Review new FLD appendix on herbrand structures

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