The aim of this article is to generalize logics formal inconsistency (LFIs) systems dealing with the concept incompatibility, expressed by means a binary connective. basic idea that having two incompatible formulas hold trivializes deduction, and as special case, formula becomes consistent (in sense LFIs) when it its own negation. We show how notion extends consistency in non-trivial way, prese...

BACKGROUND Orthopedic surgeons depend on the intraoperative use of fluoroscopy to facilitate procedures across all subspecialties. The versatility of the C-arm fluoroscope allows acquisition of nearly any radiographic view. This versatility, however, creates the opportunity for difficulty in communication between surgeon and radiation technologist. Poor communication leads to delays, frustratio...

Both in dealing with the semantic paradoxes and in dealing with vagueness and indeterminacy, there is some temptation to weaken classical logic: in particular, to restrict the law of excluded middle. The reasons for doing this are somewhat different in the two cases. In the case of the semantic paradoxes, a weakening of classical logic (presumably involving a restriction of excluded middle) is ...