DocumentCode :
2033057
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
fYear :
2001
fDate :
2001
Firstpage :
161
Lastpage :
167
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Computer Science Society, 2001. SCCC '01. Proceedings. XXI Internatinal Conference of the Chilean
Conference_Location :
Punta Arenas
ISSN :
1522-4902
Print_ISBN :
0-7695-1396-4
Type :
conf
DOI :
10.1109/SCCC.2001.972644
Filename :
972644
Link To Document :
بازگشت