{"id":"https://openalex.org/W2003905280","doi":"https://doi.org/10.1017/s175502031200038x","title":"ON EXISTENTIAL DECLARATIONS OF INDEPENDENCE IN IF LOGIC","display_name":"ON EXISTENTIAL DECLARATIONS OF INDEPENDENCE IN IF LOGIC","publication_year":2013,"publication_date":"2013-03-26","ids":{"openalex":"https://openalex.org/W2003905280","doi":"https://doi.org/10.1017/s175502031200038x","mag":"2003905280"},"language":"en","primary_location":{"id":"doi:10.1017/s175502031200038x","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s175502031200038x","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":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1205.2554","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5015302273","display_name":"Fausto Barbero","orcid":"https://orcid.org/0000-0002-0959-6977"},"institutions":[{"id":"https://openalex.org/I55143463","display_name":"University of Turin","ror":"https://ror.org/048tbm396","country_code":"IT","type":"education","lineage":["https://openalex.org/I55143463"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"FAUSTO BARBERO","raw_affiliation_strings":["Universit\u00e0 di Torino"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e0 di Torino","institution_ids":["https://openalex.org/I55143463"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5015302273"],"corresponding_institution_ids":["https://openalex.org/I55143463"],"apc_list":null,"apc_paid":null,"fwci":0.4941,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.75674617,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"6","issue":"2","first_page":"254","last_page":"280"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.995199978351593,"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.995199978351593,"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.9896000027656555,"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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9710000157356262,"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/quantifier","display_name":"Quantifier (linguistics)","score":0.7315207123756409},{"id":"https://openalex.org/keywords/prefix","display_name":"Prefix","score":0.6941684484481812},{"id":"https://openalex.org/keywords/sentence","display_name":"Sentence","score":0.6602731347084045},{"id":"https://openalex.org/keywords/corollary","display_name":"Corollary","score":0.5850962996482849},{"id":"https://openalex.org/keywords/existentialism","display_name":"Existentialism","score":0.5196318030357361},{"id":"https://openalex.org/keywords/expressive-power","display_name":"Expressive power","score":0.5030052065849304},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.4876624345779419},{"id":"https://openalex.org/keywords/independence","display_name":"Independence (probability theory)","score":0.4804482161998749},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.46041661500930786},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.44420379400253296},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.39379268884658813},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.35010212659835815},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.2631573975086212},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.16954267024993896},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.16693001985549927}],"concepts":[{"id":"https://openalex.org/C2778523021","wikidata":"https://www.wikidata.org/wiki/Q5532504","display_name":"Quantifier (linguistics)","level":2,"score":0.7315207123756409},{"id":"https://openalex.org/C141603448","wikidata":"https://www.wikidata.org/wiki/Q134830","display_name":"Prefix","level":2,"score":0.6941684484481812},{"id":"https://openalex.org/C2777530160","wikidata":"https://www.wikidata.org/wiki/Q41796","display_name":"Sentence","level":2,"score":0.6602731347084045},{"id":"https://openalex.org/C2780012671","wikidata":"https://www.wikidata.org/wiki/Q1343870","display_name":"Corollary","level":2,"score":0.5850962996482849},{"id":"https://openalex.org/C127882523","wikidata":"https://www.wikidata.org/wiki/Q38066","display_name":"Existentialism","level":2,"score":0.5196318030357361},{"id":"https://openalex.org/C195818886","wikidata":"https://www.wikidata.org/wiki/Q5421724","display_name":"Expressive power","level":2,"score":0.5030052065849304},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.4876624345779419},{"id":"https://openalex.org/C35651441","wikidata":"https://www.wikidata.org/wiki/Q625303","display_name":"Independence (probability theory)","level":2,"score":0.4804482161998749},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.46041661500930786},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.44420379400253296},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.39379268884658813},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.35010212659835815},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.2631573975086212},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.16954267024993896},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.16693001985549927},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1017/s175502031200038x","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s175502031200038x","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:arXiv.org:1205.2554","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1205.2554","pdf_url":"https://arxiv.org/pdf/1205.2554","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":null},{"id":"mag:2003905280","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/1205.2554v1","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.759.6410","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.759.6410","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://arxiv.org/pdf/1205.2554.pdf","raw_type":"text"},{"id":"doi:10.48550/arxiv.1205.2554","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1205.2554","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"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":"article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1205.2554","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1205.2554","pdf_url":"https://arxiv.org/pdf/1205.2554","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":null},"sustainable_development_goals":[{"score":0.699999988079071,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320310086","display_name":"Helsingin Yliopisto","ror":"https://ror.org/040af2s02"}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W2003905280.pdf"},"referenced_works_count":14,"referenced_works":["https://openalex.org/W610780676","https://openalex.org/W1545548819","https://openalex.org/W1548835575","https://openalex.org/W1741508137","https://openalex.org/W1778486997","https://openalex.org/W1948516912","https://openalex.org/W1969692488","https://openalex.org/W1977394840","https://openalex.org/W1979940556","https://openalex.org/W1990514682","https://openalex.org/W2168555998","https://openalex.org/W2953046229","https://openalex.org/W4252380885","https://openalex.org/W6600460354"],"related_works":["https://openalex.org/W2963573678","https://openalex.org/W2479772671","https://openalex.org/W1978407810","https://openalex.org/W2481789733","https://openalex.org/W3025296599","https://openalex.org/W961575200","https://openalex.org/W2099317626","https://openalex.org/W2321287327","https://openalex.org/W77940793","https://openalex.org/W37857643","https://openalex.org/W2613997929","https://openalex.org/W2116261996","https://openalex.org/W36179649","https://openalex.org/W2321347379","https://openalex.org/W2950586604","https://openalex.org/W2970543082","https://openalex.org/W2108998600","https://openalex.org/W80734134","https://openalex.org/W340657901","https://openalex.org/W3142874251"],"abstract_inverted_index":{"Abstract":[0],"We":[1,49],"analyze":[2],"the":[3,45,51,88,93,97,109,112],"behaviour":[4],"of":[5,7,15,44,47,68,85,99,108,114],"declarations":[6],"independence":[8],"between":[9],"existential":[10],"quantifiers":[11],"in":[12,102],"quantifier":[13],"prefixes":[14],"Independence-Friendly":[16],"(IF)":[17],"sentences;":[18],"we":[19,74,91],"give":[20,105],"a":[21,27,66,106],"syntactical":[22],"criterion":[23],"to":[24,54,104],"decide":[25],"whether":[26],"sentence":[28],"beginning":[29],"with":[30,117],"such":[31,34],"prefix":[32],"exists,":[33],"that":[35,111],"its":[36],"truth":[37],"values":[38,57],"may":[39],"be":[40],"affected":[41],"by":[42],"removal":[43],"declaration":[46],"independence.":[48],"extend":[50,92],"result":[52,95],"also":[53],"equilibrium":[55],"semantics":[56],"for":[58,80],"undetermined":[59],"IF":[60,115],"sentences.":[61,86],"The":[62],"main":[63,94],"theorem":[64],"defines":[65],"schema":[67],"sound":[69],"and":[70],"recursive":[71],"inference":[72],"rules;":[73],"show":[75],"more":[76],"explicitly":[77],"what":[78],"happens":[79],"some":[81],"simple":[82],"special":[83],"classes":[84],"In":[87],"last":[89],"section,":[90],"beyond":[96],"scope":[98],"prenex":[100],"sentences,":[101],"order":[103],"proof":[107],"fact":[110],"fragment":[113],"sentences":[116],"knowledge":[118],"memory":[119],"has":[120],"only":[121],"first-order":[122],"expressive":[123],"power.":[124]},"counts_by_year":[{"year":2013,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}