Abstract
Our proposal is to continue the research on connectives in non-classical logics, in particular, intuitionistic logic, as we have been doing since some time ago, i.e. paying attention specially to the concepts of univocity (or strict definability), inter-definability and conservative extension. We will also consider the property that from an algebraic point of view is called compatibility …