El marco de argumentación abstracta de Dung es un formalismo popular en la argumentación formal. El presente trabajo desarrolla una semántica de etiquetado para la argumentación abstracta paraconsistente de modo que se pueda expresar la información incompleta e inconsistente, e introduce un sistema axiomático de estilo Hilbert que se demuestra ser válido y completo. Además, se realiza una comparación entre la lógica desarrollada en el presente trabajo y algunas teorías relevantes de argumentación abstracta.