A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä

Intuitionistic propositional logic with Galois connections

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

Julkaisuvuosi: 2010

Journal: Logic Journal of the IGPL

Tietokannassa oleva lehden nimi: Logic Journal of the IGPL

Vuosikerta: 18

Numero: 6

Aloitussivu: 837

Lopetussivu: 858

Sivujen määrä: 22

ISSN: 13670751 13689894

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

Verkko-osoite: https://api.elsevier.com/content/abstract/scopus_id/78049412367