[CDCGL01] CATTANEO G.-DALLA CHIARA M. L.-GIUNTINI R.-LEPORINI R.: An unsharp logic from quantum computation. e-print: quant-ph/0201013.

[DCG02] DALLA CHIARA M. L.-GIUNTINI R.: Quantum logics. In: Handbook of Philosophical Logic, vol. VI (G. Gabbay, F. Guenthner, eds.), Kluwer, Dordrecht, 2002, pp. 129-228. Zbl 1059.81003

[DGLL02] DALLA CHIARA M. L.-GIUNTINI R.-LEPORATI A.-LEPORINI R.: Qubit semantics and quantum trees. quant-ph/0211190. Zbl 1119.81313

[DEL00] DEUTSCH D.-EKERT A.-LUPACCHINI R.: Machines, logic and quantum physics. Bull. Symbolic Logic 3 (2000), 265-283. MR 1803634 | Zbl 0998.68059

[GuOЗ] GUDDER S.: Quantum computational logic. Internat. J. Theoret. Phys. 42 (2003), 39-47. MR 1980104 | Zbl 1036.81003

[Pe67] PETRI C. A.: Gründsatzliches zur Beschreibung diskreter Prozesse. In: Proceedings of the Зrd Colloquium über Automatentheorie (Hannover, 1965), Birkhäuser Verlag, Basel, 1967, pp. 121-140 [English version: Fundamentals of the representation of discrete processes, ISF Report 82.04 (1982) (translated by H. J. Genrich and P. S. Thiagarajan)].

[To80] TOFFOLI T.: Reversible computing. In: Automata, Languages and Programming. Lecture Notes in Comput. Sci. 85 (J. W. de Bakker, J. van Leeuwen, eds.), Springer, Berlin-Heidelberg-New York, 1980, pp. 632-644 (Also available as Technical Memo MIT/LCS/TM-151, MIT Laboratory for Computer Science, February 1980). MR 0589037 | Zbl 0443.68038

[Za34] ZAWIRSKI Z.: Relation of Many-Valued Logic to Probability Calculus. Poznaňskie Towarzystwo Przyjaciól Nauk, Poznaň. (Polish)