The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions
Publiceringsår
2023
Upphovspersoner
Negri, Sara; Tesi, Matteo
Organisationer och upphovspersoner
Helsingfors universitet
Negri Sara
Publikationstyp
Publikationsform
Artikel
Moderpublikationens typ
Tidning
Artikelstyp
En originalartikel
Målgrupp
VetenskapligKollegialt utvärderad
Kollegialt utvärderadUKM:s publikationstyp
A1 Originalartikel i en vetenskaplig tidskriftPublikationskanalens uppgifter
Journal
Moderpublikationens namn
Volym
174
Nummer
8
ISSN
Publikationsforum
Publikationsforumsnivå
2
Öppen tillgång
Öppen tillgänglighet i förläggarens tjänst
Ja
Öppen tillgång till publikationskanalen
Delvis öppen publikationskanal
Licens för förläggarens version
CC BY
Parallellsparad
Ja
Parallellagringens licens
CC BY
Övriga uppgifter
Vetenskapsområden
Filosofi
Publiceringsland
Nederländerna
Förlagets internationalitet
Internationell
Språk
engelska
Internationell sampublikation
Ja
Sampublikation med ett företag
Nej
DOI
10.1016/j.apal.2023.103285
Publikationen ingår i undervisnings- och kulturministeriets datainsamling
Ja