A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
In this paper, we focus on investigation of the predicate transformer semantics of the contract language introduced by Back and von Wright in their book titled as "Refinement Calculus: A Systematic Introduction" (Springer-Verlag, New York, 1998) in the framework of fuzziness. In order to define fuzzy operations, i.e., fuzzy logic connectives, we take into account implicator → and its associated T-norm ⊗ based on residuated lattice theory. Based on these basic fuzzy operations, we introduce thedoi:10.4236/am.2016.75039 fatcat:paiyb2h755fwvi5ltsrmckqmyu