TY - GEN
T1 - Background and overview
AU - Gabbay, Dov M.
AU - Rodrigues, Odinaldo T.
AU - Russo, Alessandra
PY - 2010
Y1 - 2010
N2 - Classical logic and intuitionistic logic take the view that anything follows from an inconsistency. Effectively, when inconsistency occurs in a database,it explodes. The semantics reinforces the nature of inconsistency - there is no classical or intuitionistic model for inconsistent data.In some systems, e.g., Labelled Deductive Systems lds-book-one, we can keep track of inconsistency and label exactly how contradictions are derived. This labelling allows us to execute different options for inconsistency.
AB - Classical logic and intuitionistic logic take the view that anything follows from an inconsistency. Effectively, when inconsistency occurs in a database,it explodes. The semantics reinforces the nature of inconsistency - there is no classical or intuitionistic model for inconsistent data.In some systems, e.g., Labelled Deductive Systems lds-book-one, we can keep track of inconsistency and label exactly how contradictions are derived. This labelling allows us to execute different options for inconsistency.
UR - http://www.scopus.com/inward/record.url?scp=77956318993&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-14159-1_1
DO - 10.1007/978-3-642-14159-1_1
M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???
AN - SCOPUS:77956318993
SN - 9783642141584
T3 - Cognitive Technologies
SP - 1
EP - 12
BT - Revision, Acceptability and Context - Theoretical and Algorithmic Aspects
PB - Springer Verlag
ER -