@misc{indiciaeaf86efc4c4dc,
  title = {Intuitionistic logic with two Galois connections combined with Fischer Servi axioms},
  author = {Wojciech Dzik and Jouni Järvinen and Michiro Kondo},
  year = {2012},
  url = {https://arxiv.org/abs/1208.2971},
  note = {Source identifier: 1208.2971}
}