Intuitionistic propositional logic with Galois connections

: DZIK W, JARVINEN J, KONDO M

: 2010

 Logic Journal of the IGPL

: 6

: 18

: 6

: 837

: 858

: 22

: 1367-0751

DOI: https://doi.org/10.1093/jigpal/jzp057