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...

Wage Rigidity or Fiscal Redistribution? The Unemployment Bias of Time Consistent Redistributive Policies Because of Time Inconsistency considerations, policymakers underestimate the drawbacks of wage rigidity as a redistributive tool. Consequently, they redistribute inefficiently income from high to low skilled workers. They typically implement too much wage rigidity whereas other means (in par...

It is well-known that knowledgebases may contain inconsistencies. We provide a framework of measures, based on a first-order four-valued logic, to quantify the inconsistency of a knowledgebase. This allows for the comparison of the inconsistency of diverse knowledgebases that have been represented as sets of first-order logic formulae. We motivate the approach by considering some examples of kn...

Self-concept consistency is viewed as central to authenticity and adjustment in Western cultures. The authors propose that the implications of self-concept consistency depend on both the cultural background of the individual and the type of consistency involved. Specifically, although consistency of the self-concept across different contexts may be less important in East Asian than Western cult...

Measuring the degree of inconsistency of a knowledge base provides important context information for making easier inconsistency handling. In this paper, we propose a new fine-grained measure to quantify the degree of inconsistency of propositional formulae. Our inconsistency measure uses in an original way the minimal proofs to characterize the responsibility of each formula in the global inco...