A Six-valued Logic to Reason about Uncertainty and Inconsistency in Requirements Specifications
Jorge García‐Duque, Martín López‐Nores, Jose Juan Pazos-Arias, Ana Fernández Vilas, Rebeca P. Dı́az Redondo, Alberto Gil‐Solla, Yolanda Blanco‐Fernández, Manuel Ramos‐Cabrer · Journal of Logic and Computation · 2006
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 enables effective reasoning about uncertainty and inconsistency in requirements specifications, motivating the election of six truth values and the definition of a new implication connective. The adequacy of this logic to support a formal development methodology is assessed through a comparison with Belnap's four-valued logic in combination with the classical implications.