Resumo
Pretendemos continuar com a pesquisa sobre conectivos em lógicas não clássicas, em particular, na lógica intuicionista, conforme temos estado desenvolvendo desde alguns anos, isto é, prestando atenção especialmente aos conceitos de univocidade (ou definibilidade estrita), inter-definibilidade e caráter conservador. Também consideramos a propriedade que de um ponto de vista algébrico costu…