[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[tlaplus] Re: About "implies" between WF and SF

Hi Michael,

Gonna push a fix tonight. Feel free to email me directly about issues like this, I'll see them faster than stuff posted to the newsgroup :)


On Monday, 7 June 2021 at 00:42:15 UTC-5 hua...@xxxxxxxxx wrote:

I am reading again your article this evening at https://www.hillelwayne.com/post/fairness/
I feel that the “Weak” fairness implies the existence of “strong” fairness. may introduce bit confusion to beginners. 
I mean, the "imply" word could make people get confused. I don't think you want to say:
WF implies SF, which means:  WF(A) --> SF(A).  However, from TLA+, It should be otherwise. I mean, SF(A)-->WF(A).
I guess you just wanted to tell readers that the "existence of SF". So, maybe we don't want to use "implies" word here, which is more a reserved word for prepositional logic.

Best regards,


You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/28ef7079-8f89-46d9-b6b3-250c2e94b9a0n%40googlegroups.com.