A1 Refereed original research article in a scientific journal

Intuitionistic propositional logic with Galois connections

Authors: DZIK W, JARVINEN J, KONDO M

Publication year: 2010

Journal: Logic Journal of the IGPL

Number in series: 6

Volume: 18

Issue: 6

First page : 837

Last page: 858

Number of pages: 22

ISSN: 1367-0751

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