References

• [Bel77] Nuel D. Belnap. A Useful Four-Valued Logic, pages 5–37. Springer Netherlands, Dordrecht, 1977. doi:10.1007/978-94-010-1161-7_2, URL: https://doi.org/10.1007/978-94-010-1161-7_2. [1] [2] [3] [4] [5]
• [GKS25] Dan R. Ghica, George Kaye, David Sprunger. A Complete Theory of Sequential Digital Circuits: Denotational, Operational and Algebraic Semantics. 2025. arXiv:2201.10456, URL: https://arxiv.org/abs/2201.10456. [1] [2] [3] [4] [5] [6] [7] [8] [9] [10]