Title :
Bibel´s matrix connection method in paraconsistent logic: general concepts and implementation
Author :
Krause, Décio ; Nobre, Emerson F. ; Musicante, Martin A.
Author_Institution :
Depto. de Filosofia, Univ. Fed. de Santa Catarina, Florianopolis, Brazil
Abstract :
Bibel´s matrix connection method is an alternative to resolution for the mechanized proof of logical statements. Bibel´s method was originally defined for classical logic. In this work, an adaptation of the method for annotated propositional logic is given, followed by a simple case study. Some implementation details are also presented
Keywords :
formal logic; theorem proving; Bibel´s matrix connection method; annotated propositional logic; logical statements; mechanized proof; paraconsistent logic; Lattices; Logic;
Conference_Titel :
Computer Science Society, 2001. SCCC '01. Proceedings. XXI Internatinal Conference of the Chilean
Conference_Location :
Punta Arenas
Print_ISBN :
0-7695-1396-4
DOI :
10.1109/SCCC.2001.972644