N.J. Cutland (cutland)

Contributions to Philosophie.ch

Bibliography

Cutland, N. J. and Gibbins, Peter F. 1982. “A Regular Sequent Calculus for Quantum Logic in which \(\wedge\) and \(\vee\) are Dual.” Logique et Analyse 25(99): 221–248.