Return to Article Details Sequent Calculi for Orthologic with Strict Implication Download Download PDF