La lógica por defecto es uno de los formalismos básicos para el razonamiento no monótono, un área bien establecida de la inteligencia artificial basada en la lógica que se ocupa de la representación de situaciones, caracterizadas por la característica de que el proceso de inferencia puede requerir retractar conclusiones previas dadas premisas adicionales. Este aspecto no monótono contrasta con los razonamientos monótonos. Aunque el razonamiento no monótono ha sido ampliamente estudiado en la literatura, existen pocos trabajos que traten sobre una teoría de la prueba adecuada para lógicas específicas. En este documento, presentamos cálculos de tipo secuente para dos variantes de lógica por defecto, a saber, por un lado, para la de Radzikowska, y por otro lado, para la de Gelfond, Lifschitz, Przymusinska y Truszczynski. La primera variante de la lógica por defecto emplea la lógica trivalente de ukasiewicz como lógica base subyacente y la segunda variante generaliza los defectos al permitir una selección de consecuentes en los defectos. Ambas versiones se han introducido para abordar ciertas deficiencias representacionales de la lógica por defecto estándar. Los cálculos que presentamos axiomatizan estas versiones de la lógica por defecto, que es la tarea de determinar si una fórmula dada está contenida en alguna extensión de una teoría por defecto dada. Nuestro enfoque sigue el método secuente introducido por primera vez en el contexto del razonamiento no monótono por Bonatti, que emplea un para axiomatizar fórmulas inválidas, cuidando de expresar la condición de consistencia de los defectos.