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

DOI10.1093/LOGCOM/EXI076zbMath1102.03023OpenAlexW1786160467WikidataQ57665247 ScholiaQ57665247MaRDI QIDQ5477457

Yolanda Blanco-Fernández, Ana Fernándezvilas, Jorge García Duque, Rebeca P. Díaz-Redondo, José J. Pazos Arias, Alberto Gil-Solla, Manuel Ramos Cabrer, Martín López Nores

Publication date: 3 July 2006

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exi076

zbMATH Keywords

many-valued logicrequirements specificationsreasoning about uncertainty and inconsistency

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37) Specification and verification (program logics, model checking, etc.) (68Q60) Many-valued logic (03B50)

Uses Software

• PVS
• Unnamed Item

This page was built for publication: A Six-valued Logic to Reason about Uncertainty and Inconsistency in Requirements Specifications