{"id":"https://openalex.org/W4403922082","doi":"https://doi.org/10.1007/s11225-024-10152-y","title":"Strictly Positive Fragments of the Provability Logic of Heyting Arithmetic","display_name":"Strictly Positive Fragments of the Provability Logic of Heyting Arithmetic","publication_year":2024,"publication_date":"2024-10-30","ids":{"openalex":"https://openalex.org/W4403922082","doi":"https://doi.org/10.1007/s11225-024-10152-y"},"language":"lv","primary_location":{"id":"doi:10.1007/s11225-024-10152-y","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11225-024-10152-y","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11225-024-10152-y.pdf","source":{"id":"https://openalex.org/S30880287","display_name":"Studia Logica","issn_l":"0039-3215","issn":["0039-3215","1572-8730"],"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":"Studia Logica","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/s11225-024-10152-y.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5035104424","display_name":"Ana de Almeida Borges","orcid":"https://orcid.org/0000-0001-5152-198X"},"institutions":[{"id":"https://openalex.org/I71999127","display_name":"Universitat de Barcelona","ror":"https://ror.org/021018s57","country_code":"ES","type":"education","lineage":["https://openalex.org/I71999127"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"Ana de Almeida Borges","raw_affiliation_strings":["Philosophy Department, University of Barcelona, C.\u00a0de Montalegre, 6, 08001, Barcelona, Catalonia, Spain"],"raw_orcid":"https://orcid.org/0000-0001-5152-198X","affiliations":[{"raw_affiliation_string":"Philosophy Department, University of Barcelona, C.\u00a0de Montalegre, 6, 08001, Barcelona, Catalonia, Spain","institution_ids":["https://openalex.org/I71999127"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5086500294","display_name":"Joost J. Joosten","orcid":"https://orcid.org/0000-0001-9590-5045"},"institutions":[{"id":"https://openalex.org/I71999127","display_name":"Universitat de Barcelona","ror":"https://ror.org/021018s57","country_code":"ES","type":"education","lineage":["https://openalex.org/I71999127"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Joost J. Joosten","raw_affiliation_strings":["Philosophy Department, University of Barcelona, C.\u00a0de Montalegre, 6, 08001, Barcelona, Catalonia, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Philosophy Department, University of Barcelona, C.\u00a0de Montalegre, 6, 08001, Barcelona, Catalonia, Spain","institution_ids":["https://openalex.org/I71999127"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5035104424"],"corresponding_institution_ids":["https://openalex.org/I71999127"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":{"value":2290,"currency":"EUR","value_usd":2890},"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.16402821,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"114","issue":"2","first_page":"263","last_page":"295"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9987999796867371,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9987999796867371,"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.9970999956130981,"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.9886999726295471,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/arithmetic","display_name":"Arithmetic","score":0.7042948007583618},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5966931581497192},{"id":"https://openalex.org/keywords/intuitionistic-logic","display_name":"Intuitionistic logic","score":0.46158698201179504},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.32727915048599243},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.32611528038978577},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.18814605474472046},{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.12420645356178284}],"concepts":[{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.7042948007583618},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5966931581497192},{"id":"https://openalex.org/C178421362","wikidata":"https://www.wikidata.org/wiki/Q176786","display_name":"Intuitionistic logic","level":3,"score":0.46158698201179504},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.32727915048599243},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.32611528038978577},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.18814605474472046},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.12420645356178284}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s11225-024-10152-y","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11225-024-10152-y","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11225-024-10152-y.pdf","source":{"id":"https://openalex.org/S30880287","display_name":"Studia Logica","issn_l":"0039-3215","issn":["0039-3215","1572-8730"],"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":"Studia Logica","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1007/s11225-024-10152-y","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11225-024-10152-y","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11225-024-10152-y.pdf","source":{"id":"https://openalex.org/S30880287","display_name":"Studia Logica","issn_l":"0039-3215","issn":["0039-3215","1572-8730"],"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":"Studia Logica","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320323428","display_name":"Universitat de Barcelona","ror":"https://ror.org/021018s57"}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4403922082.pdf"},"referenced_works_count":36,"referenced_works":["https://openalex.org/W151180262","https://openalex.org/W1555450189","https://openalex.org/W1556894108","https://openalex.org/W1572451808","https://openalex.org/W1608607427","https://openalex.org/W1981681786","https://openalex.org/W1996365374","https://openalex.org/W2012424011","https://openalex.org/W2023712626","https://openalex.org/W2034453867","https://openalex.org/W2049797799","https://openalex.org/W2057232741","https://openalex.org/W2070691133","https://openalex.org/W2073491323","https://openalex.org/W2073543470","https://openalex.org/W2079626851","https://openalex.org/W2089432821","https://openalex.org/W2094842664","https://openalex.org/W2109732494","https://openalex.org/W2138126349","https://openalex.org/W2163960919","https://openalex.org/W2206760849","https://openalex.org/W2625204098","https://openalex.org/W2748777006","https://openalex.org/W2811093937","https://openalex.org/W2962718607","https://openalex.org/W2963825272","https://openalex.org/W2983152153","https://openalex.org/W3106443620","https://openalex.org/W3132883413","https://openalex.org/W3140030144","https://openalex.org/W3186695644","https://openalex.org/W3193790318","https://openalex.org/W4247797067","https://openalex.org/W4255280388","https://openalex.org/W4255560530"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W1979597421","https://openalex.org/W2007980826","https://openalex.org/W2061531152","https://openalex.org/W3002753104","https://openalex.org/W2077600819","https://openalex.org/W2142036596","https://openalex.org/W2072657027","https://openalex.org/W2600246793","https://openalex.org/W4238204885"],"abstract_inverted_index":{"Abstract":[0],"We":[1,40],"determine":[2],"the":[3,23,83,88,103,118,138],"strictly":[4,84,119],"positive":[5,85,120],"fragment":[6,86,121],"$$\\textsf{QPL}^+(\\textsf{HA})$$":[7,43],"<mml:math":[8,28,44,66,123,142,194],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\">":[9,29,45,67,124,143,195],"<mml:mrow>":[10,15,30,46,51,68,73,125,130,144,196],"<mml:msup>":[11,47,69,126],"<mml:mi>QPL</mml:mi>":[12,31,48,70],"<mml:mo>+</mml:mo>":[13,49,71,128],"</mml:msup>":[14,50,72,129],"<mml:mo>(</mml:mo>":[16,32,52,74,131,146,198],"<mml:mi>HA</mml:mi>":[17,33,53,132,147,199],"<mml:mo>)</mml:mo>":[18,34,54,76,133,148,200],"</mml:mrow>":[19,20,35,55,56,77,78,134,135,149,201],"</mml:math>":[21,36,57,79,136,150,202],"of":[22,37,87,92,93,102,137,151,169,210],"quantified":[24,89],"provability":[25,90,139],"logic":[26,91,140],"$$\\textsf{QPL}(\\textsf{HA})$$":[27],"Heyting":[38,152],"Arithmetic.":[39,95],"show":[41],"that":[42,61],"is":[58,82,203,209],"decidable":[59],"and":[60,158,164],"it":[62,160],"coincides":[63],"with":[64,182],"$$\\textsf{QPL}^+(\\textsf{PA})$$":[65],"<mml:mi>PA</mml:mi>":[75],",":[80],"which":[81],"Peano":[94],"This":[96,205],"positively":[97],"resolves":[98],"a":[99,155,183],"previous":[100],"conjecture":[101],"authors":[104],"described":[105],"in":[106,176],"[14].":[107],"On":[108],"our":[109],"way":[110],"to":[111,161],"proving":[112],"these":[113],"results,":[114],"we":[115],"carve":[116],"out":[117],"$$\\textsf{PL}^+(\\textsf{HA})$$":[122],"<mml:mi>PL</mml:mi>":[127,145,197],"$$\\textsf{PL}(\\textsf{HA})$$":[141,193],"Arithmetic,":[153],"provide":[154],"simple":[156,173],"axiomatization,":[157,206],"prove":[159],"be":[162,180],"sound":[163],"complete":[165],"for":[166,192],"two":[167],"types":[168],"arithmetical":[170],"interpretations.":[171],"The":[172],"fragments":[174],"presented":[175],"this":[177],"paper":[178],"should":[179],"contrasted":[181],"recent":[184],"result":[185],"by":[186],"Mojtahedi":[187],"[43],":[188],"where":[189],"an":[190],"axiomatization":[191],"provided.":[204],"although":[207],"decidable,":[208],"considerable":[211],"complexity.":[212]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}