From Gentzen to Jaskowski and Back:Algorithmic Translation of Derivations Between the Two Main Systems of Natural Deduction
Publiceringsår
2017
Upphovspersoner
von Plato, Jan
Organisationer och upphovspersoner
Helsingfors universitet
von Plato Jan
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
Moderpublikationens namn
University of Lodz. Department of Logic. Bulletin of the Section of Logic
Volym
46
Nummer
1/2
Sidor
65-74
ISSN
Publikationsforum
Publikationsforumsnivå
1
Öppen tillgång
Öppen tillgänglighet i förläggarens tjänst
Ja
Öppen tillgång till publikationskanalen
Helt öppen publikationskanal
Parallellsparad
Ja
Parallellagringens licens
CC BY NC ND
Övriga uppgifter
Vetenskapsområden
Filosofi
Publiceringsland
Polen
Förlagets internationalitet
Internationell
Språk
engelska
Internationell sampublikation
Nej
Sampublikation med ett företag
Nej
DOI
10.18778/0138-0680.46.1.2.06
Publikationen ingår i undervisnings- och kulturministeriets datainsamling
Ja