| 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.
|
 Additional Information
|
Index Terms- paraconsistent logic, annotated logic, Bibel´s matrix connection method, theorem prover
Citation:
Décio Krause, Emerson Faria Nobre, Martin A. Musicante,
"Bibel's Matrix Connection Method in Paraconsistent Logic: General Concepts and Implementation,"
sccc,
p. 0161,
XXI International Conference of the Chilean Computer Science Society (SCCC'01),
2001
|
