Including Philosophy and/of Information, Logic and Epistemology
Question
What is a suitable name for the third property here?
Monotonicity:
Conjunction:
???:
2 thoughts on “Question”
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…
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!