Dzik, et al.. Intuitionistic Logic with Two Galois Connections Combined with Fischer Servi Axioms. 14 Aug. 2012.