Many-Valued Logic, Partiality, and Abstraction in Formal Specification Languages
Journal article, 2005

The purpose of this article is to clarify the role that many-valued logic can or should play in formal specification of software systems for modeling partiality. We analyse a representative set of specification languages. Our findings suggest that many-valued logic is less useful for modeling those aspects of partiality, for which it is traditionally intended: modeling non-termination and error values. On the other hand, many-valued logic is emerging as a mainstream tool in abstraction of formal analyses of various kinds, and we suggest that specification languages feature many-valued abstraction logics. © 2005 Oxford University Press.

Author

Reiner Hähnle

Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)

Logic Journal of the IGPL

1367-0751 (ISSN) 1368-9894 (eISSN)

Vol. 13 4 415-433

Subject Categories

Computer and Information Science

DOI

10.1093/jigpal/jzi032

More information

Created

10/6/2017