Guys, after re-reading my interpretation of Gary's proposal in terms of entailment (oh, ok: after reading it :-) I found out that my version of conditions 2 and 3 was much to strong: I think it should be "phi |=/= f", not "f |=/= phi" (same in condition 3, mutatis mutandi). I made the correction on the wiki. Cheers, ChristianReceived on Wednesday, 15 October 2008 17:36:40 UTC
This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:47:53 UTC