Now showing items 1-1 of 1

    • Labeled Sequent Calculus for Orthologic 

      Kawano, Tomoaki (Wydawnictwo Uniwersytetu Łódzkiego, 2018)
      Orthologic (OL) is non-classical logic and has been studied as a part of quantumlogic. OL is based on an ortholattice and is also called minimal quantum logic.Sequent calculus is used as a tool for proof in logic and has ...