{"id":"https://openalex.org/W2284671171","doi":"https://doi.org/10.1017/s1755020315000222","title":"EARLY STRUCTURAL REASONING. GENTZEN 1932","display_name":"EARLY STRUCTURAL REASONING. GENTZEN 1932","publication_year":2015,"publication_date":"2015-08-18","ids":{"openalex":"https://openalex.org/W2284671171","doi":"https://doi.org/10.1017/s1755020315000222","mag":"2284671171"},"language":"en","primary_location":{"id":"doi:10.1017/s1755020315000222","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1755020315000222","pdf_url":null,"source":{"id":"https://openalex.org/S24077076","display_name":"The Review of Symbolic Logic","issn_l":"1755-0203","issn":["1755-0203","1755-0211"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Review of Symbolic Logic","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5051879044","display_name":"Enrico Moriconi","orcid":null},"institutions":[{"id":"https://openalex.org/I4210126640","display_name":"Instituto de Filosof\u00eda","ror":"https://ror.org/031y0e568","country_code":"ES","type":"facility","lineage":["https://openalex.org/I134820265","https://openalex.org/I4210126640"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"ENRICO MORICONI","raw_affiliation_strings":["Dipartimento di Filosofia"],"affiliations":[{"raw_affiliation_string":"Dipartimento di Filosofia","institution_ids":["https://openalex.org/I4210126640"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5051879044"],"corresponding_institution_ids":["https://openalex.org/I4210126640"],"apc_list":null,"apc_paid":null,"fwci":7.3652,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.97130707,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"8","issue":"4","first_page":"662","last_page":"679"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13558","display_name":"Philosophy, Science, and History","score":0.972599983215332,"subfield":{"id":"https://openalex.org/subfields/1207","display_name":"History and Philosophy of Science"},"field":{"id":"https://openalex.org/fields/12","display_name":"Arts and Humanities"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T13558","display_name":"Philosophy, Science, and History","score":0.972599983215332,"subfield":{"id":"https://openalex.org/subfields/1207","display_name":"History and Philosophy of Science"},"field":{"id":"https://openalex.org/fields/12","display_name":"Arts and Humanities"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/relevance","display_name":"Relevance (law)","score":0.5939711332321167},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.5740811824798584},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.5339886546134949},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.52259361743927},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.4377092123031616},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.43722760677337646},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4290546178817749},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3113653063774109},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.19647729396820068},{"id":"https://openalex.org/keywords/law","display_name":"Law","score":0.15442430973052979}],"concepts":[{"id":"https://openalex.org/C158154518","wikidata":"https://www.wikidata.org/wiki/Q7310970","display_name":"Relevance (law)","level":2,"score":0.5939711332321167},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.5740811824798584},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.5339886546134949},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.52259361743927},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.4377092123031616},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.43722760677337646},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4290546178817749},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3113653063774109},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.19647729396820068},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.15442430973052979},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1017/s1755020315000222","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1755020315000222","pdf_url":null,"source":{"id":"https://openalex.org/S24077076","display_name":"The Review of Symbolic Logic","issn_l":"1755-0203","issn":["1755-0203","1755-0211"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Review of Symbolic Logic","raw_type":"journal-article"},{"id":"pmh:oai:arpi.unipi.it:11568/771988","is_oa":false,"landing_page_url":"http://hdl.handle.net/11568/771988","pdf_url":null,"source":{"id":"https://openalex.org/S4377196265","display_name":"CINECA IRIS Institutial research information system (University of Pisa)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I108290504","host_organization_name":"University of Pisa","host_organization_lineage":["https://openalex.org/I108290504"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W135550357","https://openalex.org/W168043144","https://openalex.org/W1989164074","https://openalex.org/W1997422462","https://openalex.org/W2019486724","https://openalex.org/W2039977878","https://openalex.org/W2047975379","https://openalex.org/W2085335923","https://openalex.org/W2297895531","https://openalex.org/W2894686077","https://openalex.org/W2918055866","https://openalex.org/W4230019621"],"related_works":["https://openalex.org/W2085384747","https://openalex.org/W2088166309","https://openalex.org/W1891216533","https://openalex.org/W2106071040","https://openalex.org/W4312133475","https://openalex.org/W4238976562","https://openalex.org/W2276587472","https://openalex.org/W4248323080","https://openalex.org/W2615795876","https://openalex.org/W2049612369"],"abstract_inverted_index":{"Abstract":[0],"This":[1],"paper":[2],"is":[3],"a":[4,25,99],"study":[5],"of":[6,10,14,31,34,49,52,59,62,92,94,114],"the":[7,29,35,38,47,50,60,90,95,111,120],"opening":[8],"section":[9],"Gentzen\u2019s":[11],"first":[12],"publication":[13],"1932,":[15],"\u00dcber":[16],"die":[17],"Existenz":[18],"unabh\u00e4ngiger":[19],"Axiomensysteme":[20],"zu":[21],"unendlichen":[22],"Satzsystemen":[23],",":[24],"text":[26],"which":[27,54],"shows":[28],"relevance":[30],"Hertz\u2019s":[32],"work":[33],"1920\u2019s":[36],"for":[37,101],"young":[39],"Gentzen.":[40],"In":[41],"fact,":[42],"Gentzen":[43],"borrowed":[44],"from":[45],"Hertz":[46,81],"analysis":[48],"notion":[51,113],"consequence,":[53,115],"was":[55],"given":[56],"in":[57],"terms":[58],"rules":[61,122],"thinning":[63],"(":[64,69],"Verd\u00fcnnung":[65],")":[66,71],"and":[67,116,126],"cut":[68],"Schnitt":[70],"on":[72],"sequents":[73],"(there":[74],"called":[75],"\u201csentences\u201d(":[76],"S\u00e4tze":[77],")).":[78],"Moreover,":[79],"following":[80],"again,":[82],"he":[83],"also":[84],"judged":[85],"it":[86,105],"necessary":[87],"to":[88,108,117],"justify":[89],"forms":[91],"inference":[93,121],"system":[96],"by":[97],"providing":[98],"semantics":[100],"them,":[102],"so":[103],"that":[104,119],"became":[106],"possible":[107],"make":[109],"precise":[110],"informal":[112],"show":[118],"adopted":[123],"are":[124],"correct":[125],"sufficient.":[127]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2014,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}