{"id":"https://openalex.org/W4256401087","doi":"https://doi.org/10.1016/s0364-0213(01)00056-8","title":"Model theory of deduction: a unified computational approach","display_name":"Model theory of deduction: a unified computational approach","publication_year":2001,"publication_date":"2001-12-01","ids":{"openalex":"https://openalex.org/W4256401087","doi":"https://doi.org/10.1016/s0364-0213(01)00056-8"},"language":"en","primary_location":{"id":"doi:10.1016/s0364-0213(01)00056-8","is_oa":false,"landing_page_url":"https://doi.org/10.1016/s0364-0213(01)00056-8","pdf_url":null,"source":{"id":"https://openalex.org/S78735424","display_name":"Cognitive Science","issn_l":"0364-0213","issn":["0364-0213","1551-6709"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Cognitive Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5032306485","display_name":"B Bara","orcid":null},"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":"B Bara","raw_affiliation_strings":["Centro di Scienza Cognitiva, Universita `di Torino, via Po 14, 10123 Torino, Italy"],"affiliations":[{"raw_affiliation_string":"Centro di Scienza Cognitiva, Universita `di Torino, via Po 14, 10123 Torino, Italy","institution_ids":["https://openalex.org/I55143463"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5032306485"],"corresponding_institution_ids":["https://openalex.org/I55143463"],"apc_list":{"value":3810,"currency":"USD","value_usd":3810},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.49329965,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"25","issue":"6","first_page":"839","last_page":"901"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10656","display_name":"Child and Animal Learning Development","score":0.5902000069618225,"subfield":{"id":"https://openalex.org/subfields/3204","display_name":"Developmental and Educational Psychology"},"field":{"id":"https://openalex.org/fields/32","display_name":"Psychology"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10656","display_name":"Child and Animal Learning Development","score":0.5902000069618225,"subfield":{"id":"https://openalex.org/subfields/3204","display_name":"Developmental and Educational Psychology"},"field":{"id":"https://openalex.org/fields/32","display_name":"Psychology"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10315","display_name":"Decision-Making and Behavioral Economics","score":0.08720000088214874,"subfield":{"id":"https://openalex.org/subfields/1800","display_name":"General Decision Sciences"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11577","display_name":"Cognitive Abilities and Testing","score":0.06459999829530716,"subfield":{"id":"https://openalex.org/subfields/3205","display_name":"Experimental and Cognitive Psychology"},"field":{"id":"https://openalex.org/fields/32","display_name":"Psychology"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5473822951316833},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.3344072997570038}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5473822951316833},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3344072997570038},{"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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/s0364-0213(01)00056-8","is_oa":false,"landing_page_url":"https://doi.org/10.1016/s0364-0213(01)00056-8","pdf_url":null,"source":{"id":"https://openalex.org/S78735424","display_name":"Cognitive Science","issn_l":"0364-0213","issn":["0364-0213","1551-6709"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Cognitive Science","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":64,"referenced_works":["https://openalex.org/W99445363","https://openalex.org/W137362581","https://openalex.org/W174805281","https://openalex.org/W1488025282","https://openalex.org/W1531814568","https://openalex.org/W1538066839","https://openalex.org/W1734631470","https://openalex.org/W1793923618","https://openalex.org/W1974173079","https://openalex.org/W1977491137","https://openalex.org/W1981828658","https://openalex.org/W1989930562","https://openalex.org/W1992569718","https://openalex.org/W1996525535","https://openalex.org/W2002234876","https://openalex.org/W2029189910","https://openalex.org/W2029808144","https://openalex.org/W2037098575","https://openalex.org/W2037704866","https://openalex.org/W2038772941","https://openalex.org/W2043093292","https://openalex.org/W2043460661","https://openalex.org/W2059481722","https://openalex.org/W2064272829","https://openalex.org/W2067864623","https://openalex.org/W2075688604","https://openalex.org/W2079680461","https://openalex.org/W2088563966","https://openalex.org/W2095862215","https://openalex.org/W2099321410","https://openalex.org/W2103287093","https://openalex.org/W2115702458","https://openalex.org/W2117958466","https://openalex.org/W2122609529","https://openalex.org/W2124486692","https://openalex.org/W2130567506","https://openalex.org/W2133187874","https://openalex.org/W2143152055","https://openalex.org/W2163775186","https://openalex.org/W2169729102","https://openalex.org/W2226652612","https://openalex.org/W2245501143","https://openalex.org/W2477882401","https://openalex.org/W2610635676","https://openalex.org/W2761787496","https://openalex.org/W2792832809","https://openalex.org/W3128581731","https://openalex.org/W3175113275","https://openalex.org/W4230305244","https://openalex.org/W4231535311","https://openalex.org/W4232760394","https://openalex.org/W4236990599","https://openalex.org/W4241666317","https://openalex.org/W4241811422","https://openalex.org/W4242979205","https://openalex.org/W4246279079","https://openalex.org/W4248418639","https://openalex.org/W4250882047","https://openalex.org/W4252239598","https://openalex.org/W4253059710","https://openalex.org/W4253863803","https://openalex.org/W4254965065","https://openalex.org/W4255002377","https://openalex.org/W4256200019"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2478288626","https://openalex.org/W4391913857","https://openalex.org/W2350741829","https://openalex.org/W2530322880"],"abstract_inverted_index":{"One":[0],"of":[1,17,47,54,92,100,108,119,140,158,160,181,189],"the":[2,12,15,18,44,61,81,101,106,113,116,141,150,156,179,187,190,197,215],"most":[3],"debated":[4],"questions":[5],"in":[6,22,69,95,112,149,152],"psychology":[7],"and":[8,14,122,137,201],"cognitive":[9],"science":[10],"is":[11,41,103,185,194,204],"nature":[13],"functioning":[16],"mental":[19,66,191],"processes":[20],"involved":[21],"deductive":[23,32,48,198],"reasoning.However,":[24],"all":[25],"existing":[26],"theories":[27],"refer":[28],"to":[29,42,128,154,167,171,178,206,212],"a":[30,51,65,70,77,84,130,146,208,224],"specific":[31,216],"domain,":[33,200],"like":[34],"syllogistic,":[35,120],"propositional":[36,123],"or":[37],"relational":[38,121],"reasoning.Our":[39],"goal":[40],"unify":[43],"main":[45],"types":[46],"reasoning":[49,97,199],"into":[50],"single":[52,71],"set":[53],"basic":[55],"procedures.In":[56],"particular,":[57],"we":[58,75,144],"bring":[59],"together":[60],"microtheories":[62],"developed":[63],"from":[64,164],"models":[67],"perspective":[68],"theory,":[72],"for":[73,196],"which":[74,88],"provide":[76],"formal":[78],"foundation.We":[79],"validate":[80],"theory":[82],"through":[83],"computational":[85,125,219],"model":[86,102,126,175,192,220],"(UNICORE)":[87,221],"allows":[89],"fine-grained":[90],"predictions":[91],"subjects'":[93],"performance":[94,99,107,139,157],"different":[96,161,182],"domains.The":[98],"tested":[104],"against":[105],"experimental":[109],"subjects-as":[110],"reported":[111],"relevant":[114],"literature-in":[115],"three":[117],"areas":[118],"reasoning.The":[124],"proves":[127],"be":[129],"satisfactory":[131],"artificial":[132],"subject,":[133],"reproducing":[134],"both":[135],"correct":[136],"erroneous":[138],"human":[142],"subjects.Moreover,":[143],"introduce":[145],"developmental":[147],"trend":[148],"program,":[151],"order":[153],"simulate":[155],"subjects":[159,180],"ages,":[162],"ranging":[163],"children":[165],"(3-6)":[166],"adolescents":[168],"(8":[169],"-12)":[170],"adults":[172],"(\u03fe21).The":[173],"simulation":[174],"performs":[176],"similarly":[177],"ages.Our":[183],"conclusion":[184],"that":[186,202],"validity":[188],"approach":[193],"confirmed":[195],"it":[203],"possible":[205],"devise":[207],"unique":[209],"mechanism":[210],"able":[211],"deal":[213],"with":[214],"subareas.The":[217],"proposed":[218],"represents":[222],"such":[223],"unifying":[225],"structure.":[226]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2026-03-03T08:47:05.690250","created_date":"2025-10-10T00:00:00"}