From Gentzen to Jaskowski and Back:Algorithmic Translation of Derivations Between the Two Main Systems of Natural Deduction
Julkaisuvuosi
2017
Tekijät
von Plato, Jan
Organisaatiot ja tekijät
Helsingin yliopisto
von Plato Jan
Julkaisutyyppi
Julkaisumuoto
Artikkeli
Emojulkaisun tyyppi
Lehti
Artikkelin tyyppi
Alkuperäisartikkeli:
Yleisö
TieteellinenVertaisarvioitu
VertaisarvioituOKM:n julkaisutyyppiluokitus
A1 Alkuperäisartikkeli tieteellisessä aikakauslehdessäJulkaisukanavan tiedot
Volyymi
46
Numero
1/2
Sivut
65-74
ISSN
Julkaisufoorumi
Julkaisufoorumitaso
1
Avoin saatavuus
Avoin saatavuus kustantajan palvelussa
Kyllä
Julkaisukanavan avoin saatavuus
Kokonaan avoin julkaisukanava
Rinnakkaistallennettu
Kyllä
Rinnakkaistallenteen lisenssi
CC BY NC ND
Muut tiedot
Tieteenalat
Filosofia
Julkaisumaa
Puola
Kustantajan kansainvälisyys
Kansainvälinen
Kieli
englanti
Kansainvälinen yhteisjulkaisu
Ei
Yhteisjulkaisu yrityksen kanssa
Ei
DOI
10.18778/0138-0680.46.1.2.06
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Kyllä