Abstract

It has been claimed that contracting connectivesContracting connective are conditionalsConditional. Our modest aim here is to show that the conditional-like features of a contracting connectiveContracting connective depend on the defining features of the conditionalConditional in a particular logic, yes, but they also depend on the underlying notion of logical consequence and the structure of the collection of truth values. More concretely, we will show that under P-consequenceP-consequence and suitable satisfiability conditions for the conditionalConditional, conjunctionsConjunction are contracting connectivesContracting connective for some logics without thereby being conditional-ish.