N.J. Cutland (cutland)

Contributi a 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.