A Six-valued Logic to Reason about Uncertainty and Inconsistency in Requirements Specifications

The development of requirements specifications is characterized by the uncertain and changeable knowledge available about the systems to be built. This paper presents a many-valued logic that enabl...