The Informational Turn
Including Philosophy and/of Information, Logic and Epistemology
What is a suitable name for the third property here?
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…
Wow, a response. Thanks!
Your email address will not be published. Required fields are marked *