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 application/pdf
.
Fuzzy Semantics of Contract Language
2016
Applied Mathematics
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 the
doi:10.4236/am.2016.75039
fatcat:paiyb2h755fwvi5ltsrmckqmyu