Definition
Right Sequent
In sequent calculus, the right sequent rule explains how to build this connective when it’s your goal (on the right of
). Example: (from Multiplicative Conjunction)
Right Sequent
In sequent calculus, the right sequent rule explains how to build this connective when it’s your goal (on the right of
). Example: (from Multiplicative Conjunction)