Notifications
Clear all
Tag: logic
# | Post Title | Date | User |
Provability rules for existential quantifier | 2 years ago | Lingyuan Ye | |
Toposes of Topological Monoid Actions | 2 years ago | Morgan Rogers | |
A New Chatting Platform for Logic in Zulip | 2 years ago | Sayantan Roy | |
Models of 'simpler' theories in the internal higher-order logic of a topos | 2 years ago | DavidMRoberts | |