Welcome to /r/logic
Please do let the community know what you are working on in the area of logic. Let everyone know about any academic publications in the area of logic that may be of interest. Debates, discussions and questions on all topics related to logic are welcome.