Intuitionistic propositional logic with Galois connections

: Dzik W., Järvinen J., Kondo M.

: 2010

: Logic Journal of the IGPL

: Logic Journal of the IGPL

: 18

: 6

: 837

: 858

: 22

: 13670751 13689894

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

: https://api.elsevier.com/content/abstract/scopus_id/78049412367