1. LK, LJ, Dual Intuitionistic Logic, and Quantum Logic;Aoyama;Notre Dame Journal of Formal Logic,2004
2. Simple Consequence Relations;Avron;Information and Computation,1991
3. Tonk, Plonk and Plink;Belnap;Analysis,1962
4. Multiset Theory;Blizard;Notre Dame Journal of Formal Logic,1988
5. A Regular Sequent Calculus for Quantum Logic in which ∧ and ∨ are Dual;Cutland;Logique et Analyse,1982