SMS dit: Essays on non-classical logic