Hay varios axiomas equivalentes que se pueden usar para caracterizar la implicatividad positiva en -álgebras. En este documento, investigamos las interrelaciones entre dichos axiomas en un entorno más general de grupoide, y varios aspectos relacionados con sus diferencias en la teoría de grupoide.