TY  - RPRT
TI  - Contrapositionally Complemented Pseudo-Boolean Algebras and Intuitionistic Logic with Minimal Negation
AU  - Anuj Kumar More
AU  - Mohua Banerjee
PY  - 2020
UR  - https://arxiv.org/abs/2010.15944
ID  - 2010.15944
ER  -