Here we will collect several links related to our research group.
Barcelona Research Group in Non-classical Logic