Cookies helfen uns bei der Bereitstellung unserer Dienste. Durch die Nutzung unserer Dienste erklären Sie sich damit einverstanden, dass wir Cookies setzen.
Delmas-Rigoutsos, Yannis. 1997. “A Double Deduction System for Quantum Logic Based on Natural Deduction.”The Journal of Philosophical Logic 26(1): 57–67.