Orlov propuso una lógica de este tipo sólo en su trabajo "The Logic of Compatibility of Propositions" publicado en 1928 en un diario matemático soviético.