Stream: Coq workshop 2020

Topic: Order of logic


view this post on Zulip Andreas Röhler (Jul 05 2020 at 10:15):

Reading Coq is built on Constructive Logic, which is assumed to differ from classical logic. If yes, may you comment on the differences?

view this post on Zulip Emilio Jesús Gallego Arias (Jul 06 2020 at 09:05):

@Andreas Röhler that's a very general question, there's a myriad of resources to look into, depending on your background

view this post on Zulip Karl Palmskog (Jul 06 2020 at 09:07):

for example, this might be one starting point: https://coq.discourse.group/t/why-is-coq-consistent-what-is-the-intended-semantics/347

view this post on Zulip Hugo Herbelin (Jul 06 2020 at 19:33):

@Andreas Röhler
Shortly:

view this post on Zulip Andreas Röhler (Jul 07 2020 at 14:47):

Thanks all responding.


Last updated: Feb 06 2023 at 05:03 UTC