En lógica clásica y algunas variedades de lógica multi-valuada, la conjunción y la disyunción son duales, y la negación es auto-dual, en la lógica intuicionista, esta última también es auto-dual.