Lingyuan Ye
Active Member
Joined: Nov 16, 2020
Last seen: Mar 23, 2023
Last seen: Mar 23, 2023
Follow
3 years ago
Replies: 1
Views: 331
RE: Provability rules for existential quantifier
@jwrigley Hi, thanks for writing this! Yes, I believe this adjunction perspective is really important for categorical logic. I think my previous con...
3 years ago
Forum
RE: Provability rules for existential quantifier
@jens-hemelaer Hi, thanks for your answer! Yes, that should be how you derive it. The double rule here is somehow unusual than other proof systems ...
3 years ago
Forum
3 years ago
Forum
Replies: 5
Views: 404
RE: Grothendieck Topology and Inference
@jwrigley Hi Joshua, Thanks very much for your detailed reply! It's very insightful and helpful, and makes me to think about a couple of more poin...
3 years ago
Forum
RE: Grothendieck Topology and Inference
@ocaramello Thanks very much for your reply Prof. Caramello! The materials you sent are very helpful, and I also plan to start reading more of your ...
3 years ago
Forum