A system design method from programming logic to multiple-valued logic
- 1 August 1987
- journal article
- research article
- Published by Taylor & Francis in International Journal of Electronics
- Vol. 63 (2) , 163-170
- https://doi.org/10.1080/00207218708939120
Abstract
This paper presents features of a method for mapping one multiple-valued logic system into another. The first logic system is used to represent software designs, and the second logic system is used to represent hardware designs. Software logic is based upon rules, while hardware logic is based upon various multiple-valued (Post) algebras. Theorems are developed and applied to important design principles.Keywords
This publication has 6 references indexed in Scilit:
- A Formal Method for the Abstract Specification of SoftwareJournal of the ACM, 1984
- Conditional and post algebra expressionsDiscrete Mathematics, 1974
- The development of multiple-valued logic as related to computer scienceComputer, 1974
- An Equational Axiomatization for the Disjoint System of Post AlgebrasIEEE Transactions on Computers, 1973
- Correspondence between ALGOL 60 and Church's Lambda-notationCommunications of the ACM, 1965
- The lattice theory of Post algebrasTransactions of the American Mathematical Society, 1960