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

Journal Article A Six-valued Logic to Reason about Uncertainty and Inconsistency in Requirements Specifications Get access Jorge García-Duque, Jorge García-Duque Department of Telematics Engineering, University of Vigo, Spain. Email: jgd@det.uvigo.es, mlnores@det.uvigo.es, jose@det.uvigo.es, avilas@det.uvigo.es, rebeca@det.uvigo.es, agil@det.uvigo.es, yolanda@det.uvigo.es, mramos@det.uvigo.es Search for other works by this author on: Oxford Academic Google Scholar Martín López-Nores, Martín López-Nores Department of Telematics Engineering, University of Vigo, Spain. Email: jgd@det.uvigo.es, mlnores@det.uvigo.es, jose@det.uvigo.es, avilas@det.uvigo.es, rebeca@det.uvigo.es, agil@det.uvigo.es, yolanda@det.uvigo.es, mramos@det.uvigo.es Search for other works by this author on: Oxford Academic Google Scholar José J. Pazos-Arias, José J. Pazos-Arias Department of Telematics Engineering, University of Vigo, Spain. Email: jgd@det.uvigo.es, mlnores@det.uvigo.es, jose@det.uvigo.es, avilas@det.uvigo.es, rebeca@det.uvigo.es, agil@det.uvigo.es, yolanda@det.uvigo.es, mramos@det.uvigo.es Search for other works by this author on: Oxford Academic Google Scholar Ana Fernández-Vilas, Ana Fernández-Vilas Department of Telematics Engineering, University of Vigo, Spain. Email: jgd@det.uvigo.es, mlnores@det.uvigo.es, jose@det.uvigo.es, avilas@det.uvigo.es, rebeca@det.uvigo.es, agil@det.uvigo.es, yolanda@det.uvigo.es, mramos@det.uvigo.es Search for other works by this author on: Oxford Academic Google Scholar Rebeca P. Díaz-Redondo, Rebeca P. Díaz-Redondo Department of Telematics Engineering, University of Vigo, Spain. Email: jgd@det.uvigo.es, mlnores@det.uvigo.es, jose@det.uvigo.es, avilas@det.uvigo.es, rebeca@det.uvigo.es, agil@det.uvigo.es, yolanda@det.uvigo.es, mramos@det.uvigo.es Search for other works by this author on: Oxford Academic Google Scholar Alberto Gil-Solla, Alberto Gil-Solla Department of Telematics Engineering, University of Vigo, Spain. Email: jgd@det.uvigo.es, mlnores@det.uvigo.es, jose@det.uvigo.es, avilas@det.uvigo.es, rebeca@det.uvigo.es, agil@det.uvigo.es, yolanda@det.uvigo.es, mramos@det.uvigo.es Search for other works by this author on: Oxford Academic Google Scholar Yolanda Blanco-Fernández, Yolanda Blanco-Fernández Department of Telematics Engineering, University of Vigo, Spain. Email: jgd@det.uvigo.es, mlnores@det.uvigo.es, jose@det.uvigo.es, avilas@det.uvigo.es, rebeca@det.uvigo.es, agil@det.uvigo.es, yolanda@det.uvigo.es, mramos@det.uvigo.es Search for other works by this author on: Oxford Academic Google Scholar Manuel Ramos-Cabrer Manuel Ramos-Cabrer Department of Telematics Engineering, University of Vigo, Spain. Email: jgd@det.uvigo.es, mlnores@det.uvigo.es, jose@det.uvigo.es, avilas@det.uvigo.es, rebeca@det.uvigo.es, agil@det.uvigo.es, yolanda@det.uvigo.es, mramos@det.uvigo.es Search for other works by this author on: Oxford Academic Google Scholar Journal of Logic and Computation, Volume 16, Issue 2, April 2006, Pages 227–255, https://doi.org/10.1093/logcom/exi076 Published: 01 April 2006