Bibel's Matrix Connection Method in Paraconsistent Logic: General Concepts and Implementation

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Décio Krause Articles by Emerson Faria Nobre Articles by Martin A. Musicante

XXI International Conference of the Chilean Computer Science Society (SCCC'01)

Punta Arenas, Chile

November 07-November 09

ISBN: 0-7695-1396-4

	ASCII Text	x
	Décio Krause, Emerson Faria Nobre, Martin A. Musicante, "Bibel's Matrix Connection Method in Paraconsistent Logic: General Concepts and Implementation," Chilean Computer Science Society, International Conference of the, pp. 0161, XXI International Conference of the Chilean Computer Science Society (SCCC'01), 2001.

	BibTex	x
	@article{ 10.1109/SCCC.2001.972644, author = {Décio Krause and Emerson Faria Nobre and Martin A. Musicante}, title = {Bibel's Matrix Connection Method in Paraconsistent Logic: General Concepts and Implementation}, journal ={Chilean Computer Science Society, International Conference of the}, volume = {0}, year = {2001}, isbn = {0-7695-1396-4}, pages = {0161}, doi = {http://doi.ieeecomputersociety.org/10.1109/SCCC.2001.972644}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Chilean Computer Science Society, International Conference of the TI - Bibel's Matrix Connection Method in Paraconsistent Logic: General Concepts and Implementation SN - 0-7695-1396-4 SP EP A1 - Décio Krause, A1 - Emerson Faria Nobre, A1 - Martin A. Musicante, PY - 2001 KW - paraconsistent logic KW - annotated logic KW - Bibel?s matrix connection method KW - theorem prover VL - 0 JA - Chilean Computer Science Society, International Conference of the ER -

Décio Krause, Universidade Federal de Santa Catarina

Emerson Faria Nobre, Universidade Federal do Paran?

Martin A. Musicante, Universidade Federal do Paran?

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SCCC.2001.972644

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.

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, pp.0161, XXI International Conference of the Chilean Computer Science Society (SCCC'01), 2001

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.