%0 Journal Article %1 journals/igpl/DzikJK10 %A Dzik, Wojciech %A Järvinen, Jouni %A Kondo, Michiro %D 2010 %J Logic Journal of the IGPL %K dblp %N 6 %P 837-858 %T Intuitionistic propositional logic with Galois connections. %U http://dblp.uni-trier.de/db/journals/igpl/igpl18.html#DzikJK10 %V 18

@article{journals/igpl/DzikJK10, added-at = {2010-11-02T00:00:00.000+0100}, author = {Dzik, Wojciech and Järvinen, Jouni and Kondo, Michiro}, biburl = {https://www.bibsonomy.org/bibtex/2161487ea491e89e43943401cf647a05b/dblp}, ee = {http://dx.doi.org/10.1093/jigpal/jzp057}, interhash = {fd80287f3c82048dfbd11e1f24a24698}, intrahash = {161487ea491e89e43943401cf647a05b}, journal = {Logic Journal of the IGPL}, keywords = {dblp}, number = 6, pages = {837-858}, timestamp = {2010-11-03T11:31:51.000+0100}, title = {Intuitionistic propositional logic with Galois connections.}, url = {http://dblp.uni-trier.de/db/journals/igpl/igpl18.html#DzikJK10}, volume = 18, year = 2010 }