Open AccessConflict without contradiction: paraconsistency and axiomatizable conflict toleration hierarchies in Evidence Logic
Author(s) -
Don Faust
Publication year - 2004
Publication title -
logic and logical philosophy
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.416
H-Index - 10
eISSN - 2300-9802
pISSN - 1425-3305
DOI - 10.12775/llp.2001.009
Subject(s) - paraconsistent logic , undecidable problem , computer science , antecedent (behavioral psychology) , epistemology , tautology (logic) , artificial intelligence , description logic , decidability , natural language processing , theoretical computer science , philosophy , autoepistemic logic , higher order logic , psychology , multimodal logic , developmental psychology