Contrapositionally Complemented Pseudo-Boolean Algebras and Intuitionistic Logic with Minimal Negation

Anuj Kumar More, Mohua Banerjee

The article is a study of two algebraic structures, the `contrapositionally complemented pseudo-Boolean algebra' (ccpBa) and `contrapositionally $\vee$ complemented pseudo-Boolean…