Abstract | ||
---|---|---|
A new characterization of substitution, viz. as a universally conjunctive and universally disjunctive predicate transformer, is proposed. This characterization is also meaningful in point-free models for predicate calculus, and agrees with the classical definition of substitution whenever the latter is applicable. |
Year | DOI | Venue |
---|---|---|
1996 | 10.1016/0167-6423(96)00010-X | Sci. Comput. Program. |
Keywords | DocType | Volume |
substitution,predicate calculus,predicate transformers,point-free substitution | Journal | 27 |
Issue | ISSN | Citations |
2 | Science of Computer Programming | 2 |
PageRank | References | Authors |
0.46 | 0 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
A. Bijlsma | 1 | 36 | 7.02 |
C. S. Scholten | 2 | 321 | 91.34 |