"En este trabajo comenzamos por explicar lo que entendemos por una lógica y explicamos las diferentes lógicas que utilizamos en esta tesis: la clásica, la intuicionista, la paraconsistente Cω y la posibilista. Todas estas ...