A regular sequent calculus for quantum logic in which ^ and v are dual

N J Cutland, P F Gibbins

Abstract


Without abstract

Full Text:

PDF

Refbacks

  • There are currently no refbacks.