The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions
Julkaisuvuosi
2023
Tekijät
Negri, Sara; Tesi, Matteo
Organisaatiot ja tekijät
Helsingin yliopisto
Negri Sara
Julkaisutyyppi
Julkaisumuoto
Artikkeli
Emojulkaisun tyyppi
Lehti
Artikkelin tyyppi
Alkuperäisartikkeli
Yleisö
TieteellinenVertaisarvioitu
VertaisarvioituOKM:n julkaisutyyppiluokitus
A1 Alkuperäisartikkeli tieteellisessä aikakauslehdessäJulkaisukanavan tiedot
Emojulkaisun nimi
Volyymi
174
Numero
8
ISSN
Julkaisufoorumi
Julkaisufoorumitaso
2
Avoin saatavuus
Avoin saatavuus kustantajan palvelussa
Kyllä
Julkaisukanavan avoin saatavuus
Osittain avoin julkaisukanava
Kustantajan version lisenssi
CC BY
Rinnakkaistallennettu
Kyllä
Rinnakkaistallenteen lisenssi
CC BY
Muut tiedot
Tieteenalat
Filosofia
Julkaisumaa
Alankomaat
Kustantajan kansainvälisyys
Kansainvälinen
Kieli
englanti
Kansainvälinen yhteisjulkaisu
Kyllä
Yhteisjulkaisu yrityksen kanssa
Ei
DOI
10.1016/j.apal.2023.103285
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Kyllä