{"id":"https://openalex.org/W2729425372","doi":"https://doi.org/10.1007/s11225-017-9738-8","title":"Deduction and Reduction Theorems for Inferential Erotetic Logic","display_name":"Deduction and Reduction Theorems for Inferential Erotetic Logic","publication_year":2017,"publication_date":"2017-07-07","ids":{"openalex":"https://openalex.org/W2729425372","doi":"https://doi.org/10.1007/s11225-017-9738-8","mag":"2729425372"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11225-017-9738-8","pdf_url":"https://link.springer.com/content/pdf/10.1007%2Fs11225-017-9738-8.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_indexed_in_scopus":true,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319965","https://openalex.org/P4310319900"],"host_organization_lineage_names":["Springer Nature","Springer Science+Business Media"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true},"type":"article","type_crossref":"journal-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007%2Fs11225-017-9738-8.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5043720102","display_name":"Andrzej Wi\u015bniewski","orcid":"https://orcid.org/0000-0001-7820-428X"},"institutions":[{"id":"https://openalex.org/I59411706","display_name":"Adam Mickiewicz University in Pozna\u0144","ror":"https://ror.org/04g6bbq64","country_code":"PL","type":"education","lineage":["https://openalex.org/I59411706"]},{"id":"https://openalex.org/I4210121044","display_name":"Institute of Psychology","ror":"https://ror.org/034dn0836","country_code":"PL","type":"facility","lineage":["https://openalex.org/I4210121044","https://openalex.org/I99542240"]}],"countries":["PL"],"is_corresponding":true,"raw_author_name":"Andrzej Wi\u015bniewski","raw_affiliation_strings":["Department of Logic and Cognitive Science Institute of Psychology, Adam Mickiewicz University, Pozna\u0144, Poland"],"affiliations":[{"raw_affiliation_string":"Department of Logic and Cognitive Science Institute of Psychology, Adam Mickiewicz University, Pozna\u0144, Poland","institution_ids":["https://openalex.org/I59411706","https://openalex.org/I4210121044"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5043720102"],"corresponding_institution_ids":["https://openalex.org/I59411706","https://openalex.org/I4210121044"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890,"provenance":"doaj"},"apc_paid":{"value":2290,"currency":"EUR","value_usd":2890,"provenance":"doaj"},"fwci":0.189,"has_fulltext":true,"fulltext_origin":"pdf","cited_by_count":2,"citation_normalized_percentile":{"value":0.590934,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":71,"max":75},"biblio":{"volume":"106","issue":"2","first_page":"295","last_page":"309"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998,"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.9998,"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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9983,"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.9974,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/evocation","display_name":"Evocation","score":0.9872197}],"concepts":[{"id":"https://openalex.org/C2780217361","wikidata":"https://www.wikidata.org/wiki/Q829697","display_name":"Evocation","level":2,"score":0.9872197},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.57643974},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.5400603},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.52187145},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.40588468},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3810637},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.37043512},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.34646744},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.203513},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.08322182},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C27206212","wikidata":"https://www.wikidata.org/wiki/Q34178","display_name":"Theology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11225-017-9738-8","pdf_url":"https://link.springer.com/content/pdf/10.1007%2Fs11225-017-9738-8.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_indexed_in_scopus":true,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319965","https://openalex.org/P4310319900"],"host_organization_lineage_names":["Springer Nature","Springer Science+Business Media"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11225-017-9738-8","pdf_url":"https://link.springer.com/content/pdf/10.1007%2Fs11225-017-9738-8.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_indexed_in_scopus":true,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319965","https://openalex.org/P4310319900"],"host_organization_lineage_names":["Springer Nature","Springer Science+Business Media"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true},"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":27,"referenced_works":["https://openalex.org/W1490829364","https://openalex.org/W1519730823","https://openalex.org/W1585100903","https://openalex.org/W1904544384","https://openalex.org/W1966277595","https://openalex.org/W1971963598","https://openalex.org/W1998397402","https://openalex.org/W1999679315","https://openalex.org/W2003017965","https://openalex.org/W2007624803","https://openalex.org/W2023682135","https://openalex.org/W2095704391","https://openalex.org/W2263287873","https://openalex.org/W2295298616","https://openalex.org/W2317728609","https://openalex.org/W2395712420","https://openalex.org/W2500063528","https://openalex.org/W262821413","https://openalex.org/W300190828","https://openalex.org/W3146475326","https://openalex.org/W336869554","https://openalex.org/W4205675908","https://openalex.org/W4229759118","https://openalex.org/W4242791239","https://openalex.org/W4250977437","https://openalex.org/W4298032519","https://openalex.org/W653458418"],"related_works":["https://openalex.org/W811368413","https://openalex.org/W4381885581","https://openalex.org/W4235395812","https://openalex.org/W3039867187","https://openalex.org/W2393704585","https://openalex.org/W2380565417","https://openalex.org/W2374218492","https://openalex.org/W2373165440","https://openalex.org/W2356703076","https://openalex.org/W2126271442"],"abstract_inverted_index":{"The":[0],"concepts":[1],"of":[2,40,62],"question":[3,21,33,46],"evocation":[4,22,34,47],"and":[5,23,52],"erotetic":[6,24,54],"implication":[7,25,55],"play":[8],"central":[9],"role":[10],"in":[11],"Inferential":[12],"Erotetic":[13],"Logic.":[14],"In":[15],"this":[16],"paper,":[17],"deduction":[18],"theorems":[19],"for":[20],"are":[26],"proven.":[27],"Moreover,":[28],"it":[29],"is":[30],"shown":[31],"how":[32,53],"by":[35,48],"a":[36,58,68],"finite":[37,59],"non-empty":[38,60],"set":[39,61],"declaratives":[41,63],"can":[42,64],"be":[43,65],"reduced":[44,66],"to":[45,67],"the":[49],"empty":[50],"set,":[51],"based":[56],"on":[57],"relation":[69],"between":[70],"questions":[71],"only.":[72]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2729425372","counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1}],"updated_date":"2025-01-19T08:29:22.017645","created_date":"2017-07-14"}