{"id":"https://openalex.org/W4406180761","doi":"https://doi.org/10.48550/arxiv.2501.03297","title":"A comparison of three kinds of monotonic proof-theoretic semantics and the base-incompleteness of intuitionistic logic","display_name":"A comparison of three kinds of monotonic proof-theoretic semantics and the base-incompleteness of intuitionistic logic","publication_year":2025,"publication_date":"2025-01-06","ids":{"openalex":"https://openalex.org/W4406180761","doi":"https://doi.org/10.48550/arxiv.2501.03297"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2501.03297","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2501.03297","pdf_url":"https://arxiv.org/pdf/2501.03297","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"type":"preprint","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2501.03297","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5040747591","display_name":"Antonio Piccolomini d\u2019Aragona","orcid":"https://orcid.org/0000-0002-2974-7197","observed_orcids":["https://orcid.org/0000-0002-2974-7197"]},"institutions":[{"id":"https://openalex.org/I8087733","display_name":"University of T\u00fcbingen","ror":"https://ror.org/03a1kwz48","country_code":"DE","type":"education","lineage":["https://openalex.org/I8087733"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"d'Aragona, Antonio Piccolomini","raw_affiliation_strings":["Eberhard Karls Universit\u00e4t T\u00fcbingen , T\u00fcbingen , Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Eberhard Karls Universit\u00e4t T\u00fcbingen , T\u00fcbingen , Germany","institution_ids":["https://openalex.org/I8087733"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5040747591"],"corresponding_institution_ids":["https://openalex.org/I8087733"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.5181000232696533,"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"}},"topics":[{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.5181000232696533,"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.3043999969959259,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.15600000321865082,"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/proof-theoretic-semantics","display_name":"proof-theoretic semantics","score":0.9940000176429749},{"id":"https://openalex.org/keywords/intuitionistic-logic","display_name":"intuitionistic logic","score":0.9399999976158142},{"id":"https://openalex.org/keywords/consequence-relations","display_name":"consequence relations","score":0.6650000214576721},{"id":"https://openalex.org/keywords/proof-objects","display_name":"proof objects","score":0.8140000104904175},{"id":"https://openalex.org/keywords/argument-structure","display_name":"argument structure","score":0.656000018119812}],"concepts":[{"id":"https://openalex.org/C42058472","wikidata":"https://www.wikidata.org/wiki/Q810214","display_name":"Base (topology)","level":2,"score":0.6424452066421509},{"id":"https://openalex.org/C72169020","wikidata":"https://www.wikidata.org/wiki/Q194404","display_name":"Monotonic function","level":2,"score":0.5842391848564148},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5653893947601318},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4276775121688843},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.42691484093666077},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.3905523419380188},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.389394611120224},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.36779987812042236},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3244237005710602},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2501.03297","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2501.03297","pdf_url":"https://arxiv.org/pdf/2501.03297","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2501.03297","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2501.03297","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2501.03297","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2501.03297","pdf_url":"https://arxiv.org/pdf/2501.03297","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"sustainable_development_goals_aurora":[],"study_designs":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4406180761.pdf","grobid_xml":"https://content.openalex.org/works/W4406180761.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2077314575","https://openalex.org/W4315701745","https://openalex.org/W1990290471","https://openalex.org/W4380682190","https://openalex.org/W2005710836","https://openalex.org/W2102386043","https://openalex.org/W2945307361","https://openalex.org/W1987764909","https://openalex.org/W2096782225","https://openalex.org/W2102099143"],"abstract_inverted_index":{"I":[0,16,53,74,112],"deal":[1],"with":[2,93,115,147],"two":[3],"approaches":[4],"to":[5,65,70,84,95,104,117],"proof-theoretic":[6,96],"semantics:":[7],"one":[8,21,64,68],"based":[9,22],"on":[10,23,106,150,200],"argument":[11],"structures":[12],"and":[13,20,44,73,162,196,203],"justifications,":[14],"which":[15,111,155,163],"call":[17],"reducibility":[18,136,180],"semantics,":[19],"consequence":[24,159,182],"among":[25],"(sets":[26,151],"of)":[27,152],"formulas":[28,153],"over":[29],"atomic":[30],"bases,":[31],"called":[32],"base":[33,145,157,170],"semantics.":[34],"The":[35,124],"latter":[36],"splits":[37],"in":[38],"turn":[39],"into":[40],"a":[41,45,107,142,156,176,179],"standard":[42],"reading,":[43],"variant":[46],"of":[47,77,80,87,89,98,109,127,144,178,189,206],"it":[48],"put":[49],"forward":[50],"by":[51,185,197],"Sandqvist.":[52],"prove":[54],"some":[55,76],"results":[56,82,120],"which,":[57],"when":[58],"suitable":[59],"conditions":[60],"are":[61],"met,":[62],"permit":[63],"shift":[66],"from":[67,132],"approach":[69,130],"the":[71,78,85,128,133,187,190,201,207],"other,":[72],"draw":[75],"consequences":[79],"these":[81],"relative":[83],"issue":[86],"completeness":[88,119],"(recursive)":[90],"logical":[91],"systems":[92],"respect":[94],"notions":[97],"validity.":[99],"This":[100],"will":[101,113],"lead":[102],"me":[103],"focus":[105],"notion":[108],"base-completeness,":[110],"discuss":[114],"reference":[116],"known":[118],"for":[121,154],"intuitionistic":[122],"logic.":[123],"general":[125],"interest":[126],"proposed":[129],"stems":[131],"fact":[134,191],"that":[135,192],"semantics":[137,146,158,171,181],"can":[138,172],"be":[139,173],"understood":[140,174],"as":[141,175],"labelling":[143],"proof-objects":[148],"typed":[149],"relation":[160,183,194],"holds,":[161,195],"witness":[164,188],"this":[165,193],"very":[166],"fact.":[167],"Vice":[168],"versa,":[169],"type-abstraction":[177],"obtained":[184],"removing":[186],"just":[198],"focusing":[199],"input":[202],"output":[204],"type":[205],"relevant":[208],"proof-object.":[209]},"counts_by_year":[],"updated_date":"2026-09-30T09:27:27.532063","created_date":"2025-10-10T00:00:00"}