From Gentzen to Jaskowski and Back:Algorithmic Translation of Derivations Between the Two Main Systems of Natural Deduction
Year of publication
2017
Authors
von Plato, Jan
Organizations and authors
University of Helsinki
von Plato Jan
Publication type
Publication format
Article
Parent publication type
Journal
Article type
Original article
Audience
ScientificPeer-reviewed
Peer-ReviewedMINEDU's publication type classification code
A1 Journal article (refereed), original researchPublication channel information
Parent publication name
University of Lodz. Department of Logic. Bulletin of the Section of Logic
Volume
46
Issue
1/2
Pages
65-74
ISSN
Publication forum
Publication forum level
1
Open access
Open access in the publisher’s service
Yes
Open access of publication channel
Fully open publication channel
Self-archived
Yes
License of the self-archived publication
CC BY NC ND
Other information
Fields of science
Philosophy
Publication country
Poland
Internationality of the publisher
International
Language
English
International co-publication
No
Co-publication with a company
No
DOI
10.18778/0138-0680.46.1.2.06
The publication is included in the Ministry of Education and Culture’s Publication data collection
Yes