Now showing items 1-1 of 1
Labeled Sequent Calculus for Orthologic
(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 ...