摘要: The purpose of this note is to show how much the predicate calculus, relational and regularity calculus have in common, or, more precisely, commonality we can design into them. Because will emerge as a subcalculus other two calculi, discuss first.
springer.com
sci-hub.st 参考文章(5)
P.F. Hoogendijk, R.C. Backhouse, Jaap van der Woude, T.S. Voermans, C.J. Aarts, A relational theory of datatypes Technische Universiteit Eindhoven. ,(1992)
Edsger W. Dijkstra, Carel S. Scholten, Predicate Calculus and Program Semantics ,(1989)
Alfred Tarski, On the calculus of relations Journal of Symbolic Logic. ,vol. 6, pp. 73- 89 ,(1941) , 10.2307/2268577
Whj Wim Feijen, van Ajm Netty Gasteren, An introduction to the relational calculus C.S. Scholten dedicata : van oude machines en nieuwe rekenwijzen. pp. 57- 81 ,(1991)
Jaap Woude, Calculations with relations, an example Beauty is our business. pp. 435- 441 ,(1990) , 10.1007/978-1-4612-4476-9_53