{"id":"https://openalex.org/W1927935113","doi":"https://doi.org/10.1007/s10992-015-9385-3","title":"A Gentzen Calculus for Nothing but the Truth","display_name":"A Gentzen Calculus for Nothing but the Truth","publication_year":2015,"publication_date":"2015-10-13","ids":{"openalex":"https://openalex.org/W1927935113","doi":"https://doi.org/10.1007/s10992-015-9385-3","mag":"1927935113"},"language":"en","primary_location":{"id":"doi:10.1007/s10992-015-9385-3","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10992-015-9385-3","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10992-015-9385-3.pdf","source":{"id":"https://openalex.org/S161120620","display_name":"Journal of Philosophical Logic","issn_l":"0022-3611","issn":["0022-3611","1573-0433"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Philosophical Logic","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s10992-015-9385-3.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5017850146","display_name":"Stefan Wintein","orcid":"https://orcid.org/0000-0002-1394-9704"},"institutions":[{"id":"https://openalex.org/I913958620","display_name":"Erasmus University Rotterdam","ror":"https://ror.org/057w15z03","country_code":"NL","type":"education","lineage":["https://openalex.org/I913958620"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Stefan Wintein","raw_affiliation_strings":["Faculty of Philosophy, Erasmus University Rotterdam, Rotterdam, The Netherlands","Erasmus University Rotterdam"],"affiliations":[{"raw_affiliation_string":"Faculty of Philosophy, Erasmus University Rotterdam, Rotterdam, The Netherlands","institution_ids":["https://openalex.org/I913958620"]},{"raw_affiliation_string":"Erasmus University Rotterdam","institution_ids":["https://openalex.org/I913958620"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5004614569","display_name":"Reinhard Muskens","orcid":"https://orcid.org/0000-0002-1998-3858"},"institutions":[{"id":"https://openalex.org/I193700539","display_name":"Tilburg University","ror":"https://ror.org/04b8v1s79","country_code":"NL","type":"education","lineage":["https://openalex.org/I193700539"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Reinhard Muskens","raw_affiliation_strings":["Tilburg Center for Logic, Ethics, and Philosophy of Science (TiLPS), Tilburg University, Tilburg, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Tilburg Center for Logic, Ethics, and Philosophy of Science (TiLPS), Tilburg University, Tilburg, The Netherlands","institution_ids":["https://openalex.org/I193700539"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5017850146"],"corresponding_institution_ids":["https://openalex.org/I913958620"],"apc_list":{"value":2190,"currency":"EUR","value_usd":2780},"apc_paid":{"value":2190,"currency":"EUR","value_usd":2780},"fwci":1.7804,"has_fulltext":true,"cited_by_count":11,"citation_normalized_percentile":{"value":0.88406811,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"45","issue":"4","first_page":"451","last_page":"465"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9983000159263611,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/natural-deduction","display_name":"Natural deduction","score":0.7317206859588623},{"id":"https://openalex.org/keywords/sequent-calculus","display_name":"Sequent calculus","score":0.6845771074295044},{"id":"https://openalex.org/keywords/sequent","display_name":"Sequent","score":0.6734557747840881},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.6065842509269714},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6021388173103333},{"id":"https://openalex.org/keywords/cut-elimination-theorem","display_name":"Cut-elimination theorem","score":0.5782877206802368},{"id":"https://openalex.org/keywords/proof-calculus","display_name":"Proof calculus","score":0.5626895427703857},{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.5459919571876526},{"id":"https://openalex.org/keywords/many-valued-logic","display_name":"Many-valued logic","score":0.5288090705871582},{"id":"https://openalex.org/keywords/zeroth-order-logic","display_name":"Zeroth-order logic","score":0.4988875389099121},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.38162460923194885},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.29237091541290283},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.16335859894752502},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1591724455356598},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.1169927716255188},{"id":"https://openalex.org/keywords/multimodal-logic","display_name":"Multimodal logic","score":0.11468654870986938}],"concepts":[{"id":"https://openalex.org/C62073222","wikidata":"https://www.wikidata.org/wiki/Q1572108","display_name":"Natural deduction","level":2,"score":0.7317206859588623},{"id":"https://openalex.org/C65880906","wikidata":"https://www.wikidata.org/wiki/Q1771121","display_name":"Sequent calculus","level":3,"score":0.6845771074295044},{"id":"https://openalex.org/C89421646","wikidata":"https://www.wikidata.org/wiki/Q843632","display_name":"Sequent","level":2,"score":0.6734557747840881},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.6065842509269714},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6021388173103333},{"id":"https://openalex.org/C111404639","wikidata":"https://www.wikidata.org/wiki/Q376166","display_name":"Cut-elimination theorem","level":4,"score":0.5782877206802368},{"id":"https://openalex.org/C6489637","wikidata":"https://www.wikidata.org/wiki/Q7250002","display_name":"Proof calculus","level":3,"score":0.5626895427703857},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.5459919571876526},{"id":"https://openalex.org/C150889026","wikidata":"https://www.wikidata.org/wiki/Q185502","display_name":"Many-valued logic","level":3,"score":0.5288090705871582},{"id":"https://openalex.org/C110039528","wikidata":"https://www.wikidata.org/wiki/Q8069651","display_name":"Zeroth-order logic","level":4,"score":0.4988875389099121},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.38162460923194885},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.29237091541290283},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.16335859894752502},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1591724455356598},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.1169927716255188},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.11468654870986938},{"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/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":7,"locations":[{"id":"doi:10.1007/s10992-015-9385-3","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10992-015-9385-3","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10992-015-9385-3.pdf","source":{"id":"https://openalex.org/S161120620","display_name":"Journal of Philosophical Logic","issn_l":"0022-3611","issn":["0022-3611","1573-0433"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Philosophical Logic","raw_type":"journal-article"},{"id":"pmh:oai:pure.eur.nl:openaire/9a02d78c-a8b3-4cf4-8ae8-9355bc10dcdb","is_oa":true,"landing_page_url":"https://pure.eur.nl/en/publications/9a02d78c-a8b3-4cf4-8ae8-9355bc10dcdb","pdf_url":null,"source":{"id":"https://openalex.org/S4306401266","display_name":"EUR Research Repository (Erasmus University Rotterdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I913958620","host_organization_name":"Erasmus University Rotterdam","host_organization_lineage":["https://openalex.org/I913958620"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Wintein, S & Muskens, R 2016, 'A Gentzen Calculus for Nothing but the Truth', Journal of Philosophical Logic, vol. 45, no. 4, pp. 451-465. https://doi.org/10.1007%2Fs10992-015-9385-3","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:tilburguniversity.edu:openaire_cris_publications/4032feb3-c714-49c5-952a-64f3f168753c","is_oa":false,"landing_page_url":"https://research.tilburguniversity.edu/en/publications/4032feb3-c714-49c5-952a-64f3f168753c","pdf_url":null,"source":{"id":"https://openalex.org/S4306401490","display_name":"Research portal (Tilburg University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I193700539","host_organization_name":"Tilburg University","host_organization_lineage":["https://openalex.org/I193700539"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Wintein, S & Muskens, R 2015, 'A Gentzen Calculus for Nothing but the Truth', Journal of philosophical logic, pp. 1-15. < http://link.springer.com/article/10.1007%2Fs10992-015-9385-3 >","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:eur:oai:repub.eur.nl:82253","is_oa":true,"landing_page_url":"http://hdl.handle.net/1765/82253","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Journal of Philosophical Logic, 45(4), 451 - 465","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:philarchive.org/rec/WINAGC","is_oa":false,"landing_page_url":"https://philarchive.org/rec/WINAGC","pdf_url":null,"source":{"id":"https://openalex.org/S4306402130","display_name":"PhilPapers (PhilPapers Foundation)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:philpapers.org/rec/WINAGC","is_oa":false,"landing_page_url":"https://philpapers.org/rec/WINAGC","pdf_url":null,"source":{"id":"https://openalex.org/S4306402131","display_name":"PhilPapers (PhilPapers Foundation)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:repub.eur.nl:82253","is_oa":false,"landing_page_url":"https://repub.eur.nl/pub/82253","pdf_url":null,"source":{"id":"https://openalex.org/S4306400997","display_name":"RePub (Erasmus University, Rotterdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I913958620","host_organization_name":"Erasmus University Rotterdam","host_organization_lineage":["https://openalex.org/I913958620"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Journal of Philosophical Logic vol. 45 no. 4, pp. 451-465","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1007/s10992-015-9385-3","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10992-015-9385-3","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10992-015-9385-3.pdf","source":{"id":"https://openalex.org/S161120620","display_name":"Journal of Philosophical Logic","issn_l":"0022-3611","issn":["0022-3611","1573-0433"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Philosophical Logic","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G629491556","display_name":null,"funder_award_id":"(NWO)","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"}],"funders":[{"id":"https://openalex.org/F4320321800","display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","ror":"https://ror.org/04jsz6e67"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1927935113.pdf","grobid_xml":"https://content.openalex.org/works/W1927935113.grobid-xml"},"referenced_works_count":21,"referenced_works":["https://openalex.org/W76853798","https://openalex.org/W136232721","https://openalex.org/W1487409515","https://openalex.org/W1554021964","https://openalex.org/W1635116973","https://openalex.org/W1973966751","https://openalex.org/W1995375207","https://openalex.org/W2023605209","https://openalex.org/W2027379370","https://openalex.org/W2031598858","https://openalex.org/W2038185098","https://openalex.org/W2048528677","https://openalex.org/W2055800745","https://openalex.org/W2073514978","https://openalex.org/W2086558934","https://openalex.org/W2157041256","https://openalex.org/W4249259371","https://openalex.org/W6629149434","https://openalex.org/W6633024311","https://openalex.org/W6660028835","https://openalex.org/W6772427866"],"related_works":["https://openalex.org/W1492421865","https://openalex.org/W2143833769","https://openalex.org/W2025571074","https://openalex.org/W2085914381","https://openalex.org/W2089782082","https://openalex.org/W2478068074","https://openalex.org/W2155156044","https://openalex.org/W3004229946","https://openalex.org/W3126954280","https://openalex.org/W2162615833"],"abstract_inverted_index":{"In":[0],"their":[1],"paper":[2,74],"Nothing":[3],"but":[4],"the":[5,21,36,57,82,95,110,134,157,165],"Truth":[6],"Andreas":[7],"Pietz":[8,38,128],"and":[9,33,48,71],"Umberto":[10],"Rivieccio":[11,40,130],"present":[12],"Exactly":[13],"True":[14],"Logic":[15],"(ETL),":[16],"an":[17,147],"interesting":[18],"variation":[19],"upon":[20],"four-valued":[22],"logic":[23,43,58,84,139],"for":[24,56,81,94,124,156],"first-degree":[25],"entailment":[26],"FDE":[27],"that":[28,50,78,152],"was":[29],"given":[30,70],"by":[31],"Belnap":[32],"Dunn":[34],"in":[35,72,90],"1970s.":[37],"&":[39,129],"provide":[41],"this":[42,73,150,163],"with":[44],"a":[45,52,65,79,101,113,168],"Hilbert-style":[46],"axiomatisation":[47],"write":[49],"finding":[51],"nice":[53],"sequent":[54,66,114],"calculus":[55,67,80,166],"will":[59,76],"presumably":[60],"not":[61],"be":[62,69,92,116,119,174],"easy.":[63],"But":[64],"can":[68,89],"we":[75,85,140],"show":[77],"Belnap-Dunn":[83],"have":[86],"defined":[87],"earlier":[88],"fact":[91],"reused":[93],"purpose":[96],"of":[97,107,112,136,149],"characterising":[98,125],"ETL,":[99],"provided":[100],"small":[102],"alteration":[103],"is":[104,153],"made\u2014initial":[105],"assignments":[106],"signs":[108],"to":[109,115,176],"sentences":[111],"proved":[117],"must":[118],"different":[120],"from":[121],"those":[122],"used":[123],"FDE.":[126],"While":[127],"define":[131],"ETL":[132],"on":[133,146],"language":[135,151],"classical":[137],"propositional":[138],"also":[141],"study":[142],"its":[143],"consequence":[144],"relation":[145],"extension":[148,164],"functionally":[154],"complete":[155],"underlying":[158],"four":[159],"truth":[160],"values.":[161],"On":[162],"gets":[167],"multiple-tree":[169],"character\u2014two":[170],"proof":[171],"trees":[172],"may":[173],"needed":[175],"establish":[177],"one":[178],"proof.":[179]},"counts_by_year":[{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":3},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":2}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}