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

Re: [tlaplus] Fairness conditions and <<A>>_v

Of course. Thanks for clarifying. It's an interesting topic, nonetheless.

Jones


On Wed, 4 Oct 2023 at 13:44, Stephan Merz <stephan.merz@xxxxxxxxx> wrote:
I didn't know “intensional” and “extensional” as related to extensional and intensional logic, that's interesting.

I won't claim that this is standard nomenclature, my usage was purely ad-hoc.

Stephan

--
You received this message because you are subscribed to a topic in the Google Groups "tlaplus" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/tlaplus/NnWsXf3sNRU/unsubscribe.
To unsubscribe from this group and all its topics, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/277B90B6-6DC7-41E1-B918-9493834C65AD%40gmail.com.

--
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/CABW84KygJbbN2GZw46Sbazkbf3AB71QSGe8-PhAh8O_gDC7KmQ%40mail.gmail.com.