416 2do. Workshop sobre Aspectos Teóricos de la Inteligencia Artificial MATRIX PROOF METHOD IN ANNOTATED PARACONSISTENT / LOGIC Celso A.A. KAESTNER Departamento Academico de Informática - Centro Federal de Educac;ao Tecnológica do Paraná Departamento de Informática - Pontíficia Univcrsidadc Católica do Paraná CEFET/PR - DAINF - Av. Sctc de Seternbro, 3165 - 80.230-901 Curitiba - PR - BRAZIL e-mail: kaestncr@dainf.ccfctpr.br Décio KRAUSE Departamento de Matemática - Universidade Federal do Paraná Centro Politécnico - Caixa Postal 19.081 - 81.531-910 Curitiba - PR - BRAZIL e-mail: dkrause@mat.ufpr.br Abstract The matrix connection method (MCM) is an alternative procedure for the- orem proving than the usual resolution technique. We already have used the MCM for finding models in a real-time knowledge-based system generator. In this paper, we adapt the MCM to the particular case of sorne annotated propo- sitional paraconsistent logics. Further developments related to these ideas are also outlined. Keywords: Paraconsistent Logics, Annotated Logics, Thcorem Proving, Matrix Connection Method.