A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä

Intuitionistic propositional logic with Galois connections

Tekijät: DZIK W, JARVINEN J, KONDO M

Julkaisuvuosi: 2010

Journal: Logic Journal of the IGPL

Numero sarjassa: 6

Vuosikerta: 18

Numero: 6

Aloitussivu: 837

Lopetussivu: 858

Sivujen määrä: 22

ISSN: 1367-0751

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