Ghent University Academic Bibliography

Advanced

An inconsistency-adaptive proof procedure for logic programming

Timothy Vermeir (2002) LECTURE NOTES IN PURE AND APPLIED MATHEMATICS. 228. p.323-339
abstract
It is the goal of this paper to define a paraconsistent proof procedure that has the best of two mechanisms, in casu logic programming and inconsistency-adaptive logics. From logic programming we will maintain the ease of computing, and from adaptive logics their paraconsistency, dynamics and non-monotonicity. This will be done by combining the notion of competitor from logic programming with the conditionallity that is common in all adaptive proofs.
Please use this url to cite or link to this publication:
author
organization
year
type
conference (proceedingsPaper)
publication status
published
subject
in
LECTURE NOTES IN PURE AND APPLIED MATHEMATICS
editor
WA Carnielli, ME Coniglio and IML DOttaviano
volume
228
issue title
Paraconsistency : the logical way tot the inconsistent
pages
323 - 339
publisher
Marcel Dekker
place of publication
New York, NY, USA
conference name
2nd World Congress on Paraconsistency (WCP 2000)
conference location
Juquehy Sao Sebastiao, Brazil
conference start
2000-05-12
conference end
2000-05-19
Web of Science type
Proceedings Paper
Web of Science id
000179167100014
ISSN
0075-8469
ISBN
0824708059
language
English
UGent publication?
yes
classification
P1
id
402897
handle
http://hdl.handle.net/1854/LU-402897
date created
2008-05-14 16:22:00
date last changed
2017-01-02 09:52:54
@inproceedings{402897,
  abstract     = {It is the goal of this paper to define a paraconsistent proof procedure that has the best of two mechanisms, in casu logic programming and inconsistency-adaptive logics. From logic programming we will maintain the ease of computing, and from adaptive logics their paraconsistency, dynamics and non-monotonicity. This will be done by combining the notion of competitor from logic programming with the conditionallity that is common in all adaptive proofs.},
  author       = {Vermeir, Timothy},
  booktitle    = {LECTURE NOTES IN PURE AND APPLIED MATHEMATICS},
  editor       = {Carnielli, WA and Coniglio, ME and DOttaviano, IML},
  isbn         = {0824708059},
  issn         = {0075-8469},
  language     = {eng},
  location     = {Juquehy Sao Sebastiao, Brazil},
  pages        = {323--339},
  publisher    = {Marcel Dekker},
  title        = {An inconsistency-adaptive proof procedure for logic programming},
  volume       = {228},
  year         = {2002},
}

Chicago
Vermeir, Timothy. 2002. “An Inconsistency-adaptive Proof Procedure for Logic Programming.” In Lecture Notes in Pure and Applied Mathematics, ed. WA Carnielli, ME Coniglio, and IML DOttaviano, 228:323–339. New York, NY, USA: Marcel Dekker.
APA
Vermeir, Timothy. (2002). An inconsistency-adaptive proof procedure for logic programming. In WA Carnielli, M. Coniglio, & I. DOttaviano (Eds.), LECTURE NOTES IN PURE AND APPLIED MATHEMATICS (Vol. 228, pp. 323–339). Presented at the 2nd World Congress on Paraconsistency (WCP 2000), New York, NY, USA: Marcel Dekker.
Vancouver
1.
Vermeir T. An inconsistency-adaptive proof procedure for logic programming. In: Carnielli W, Coniglio M, DOttaviano I, editors. LECTURE NOTES IN PURE AND APPLIED MATHEMATICS. New York, NY, USA: Marcel Dekker; 2002. p. 323–39.
MLA
Vermeir, Timothy. “An Inconsistency-adaptive Proof Procedure for Logic Programming.” Lecture Notes in Pure and Applied Mathematics. Ed. WA Carnielli, ME Coniglio, & IML DOttaviano. Vol. 228. New York, NY, USA: Marcel Dekker, 2002. 323–339. Print.