Re: Re-wording the semantics


On 13 Sep 2012, at 05:55, Pat Hayes wrote:
> A E-entails B when for every E-ds-interpretation which makes A true also makes B true. 
> A is E-equivalent to B when A E-entails B and B E-entails A.
> A is an E-contradiction when A is false in every E-interpretation.

I've added those definitions to 2.1. But please note that the test cases section is not intended to become spec text. It's just a tool for the WG to help us understand the semantics.


Received on Thursday, 13 September 2012 12:52:55 UTC