2 thoughts on “Question”

  1. Personally, I’d call 2. Right-conjunction, or R-Conjunction for brief; and then call 3. Right-Left-Conjunction, or RL-Conjunction. Then L-Conjunction would be the (rather trivial, at least in classical logic)

    (A -> C) & (B -> C) |- (A & B -> C).

    It might cause confusion with the right and left rules of sequent calculus, though…

Leave a Reply

Your email address will not be published. Required fields are marked *