New posts in Sequent Calculus

Does double negation distribute over implication intuitionistically?

Comma in turnstile (entailment)