{"id":"https://openalex.org/W2986017963","doi":"https://doi.org/10.1016/s1571-0661(05)80304-4","title":"Structured Theories and Institutions","display_name":"Structured Theories and Institutions","publication_year":1999,"publication_date":"1999-01-01","ids":{"openalex":"https://openalex.org/W2986017963","doi":"https://doi.org/10.1016/s1571-0661(05)80304-4","mag":"2986017963"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(05)80304-4","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80304-4","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1016/s1571-0661(05)80304-4","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5016544041","display_name":"Francisco Dur\u00e1n","orcid":"https://orcid.org/0000-0001-5864-8094"},"institutions":[{"id":"https://openalex.org/I1298353152","display_name":"SRI International","ror":"https://ror.org/05s570m15","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I1298353152"]},{"id":"https://openalex.org/I4210099336","display_name":"Menlo School","ror":"https://ror.org/01240pn49","country_code":"US","type":"education","lineage":["https://openalex.org/I4210099336"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Francisco Dur\u00e1n and Jos\u00e9 Meseguer","raw_affiliation_strings":["Computer Science Laboratory, SRI International Menlo Park, CA, 94025, USA"],"affiliations":[{"raw_affiliation_string":"Computer Science Laboratory, SRI International Menlo Park, CA, 94025, USA","institution_ids":["https://openalex.org/I1298353152","https://openalex.org/I4210099336"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5016544041"],"corresponding_institution_ids":["https://openalex.org/I1298353152","https://openalex.org/I4210099336"],"apc_list":null,"apc_paid":null,"fwci":5.1971,"has_fulltext":false,"cited_by_count":21,"citation_normalized_percentile":{"value":0.95636766,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"29","issue":null,"first_page":"23","last_page":"41"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9997000098228455,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9997000098228455,"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.9988999962806702,"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/T10142","display_name":"Formal Methods in Verification","score":0.9973999857902527,"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/institution","display_name":"Institution","score":0.7249643802642822},{"id":"https://openalex.org/keywords/rewriting","display_name":"Rewriting","score":0.7208670973777771},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.6272560358047485},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.5954452157020569},{"id":"https://openalex.org/keywords/category-theory","display_name":"Category theory","score":0.554997444152832},{"id":"https://openalex.org/keywords/composition","display_name":"Composition (language)","score":0.5292375087738037},{"id":"https://openalex.org/keywords/logical-framework","display_name":"Logical framework","score":0.5181504487991333},{"id":"https://openalex.org/keywords/foundation","display_name":"Foundation (evidence)","score":0.505406379699707},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.47591716051101685},{"id":"https://openalex.org/keywords/conservative-extension","display_name":"Conservative extension","score":0.41813135147094727},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.4162980914115906},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4112780690193176},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3374900817871094},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.24995484948158264},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.20214709639549255},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.144231379032135},{"id":"https://openalex.org/keywords/sociology","display_name":"Sociology","score":0.11899277567863464},{"id":"https://openalex.org/keywords/law","display_name":"Law","score":0.08358779549598694}],"concepts":[{"id":"https://openalex.org/C2780510313","wikidata":"https://www.wikidata.org/wiki/Q178706","display_name":"Institution","level":2,"score":0.7249643802642822},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.7208670973777771},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.6272560358047485},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.5954452157020569},{"id":"https://openalex.org/C54884031","wikidata":"https://www.wikidata.org/wiki/Q217413","display_name":"Category theory","level":2,"score":0.554997444152832},{"id":"https://openalex.org/C40231798","wikidata":"https://www.wikidata.org/wiki/Q1333743","display_name":"Composition (language)","level":2,"score":0.5292375087738037},{"id":"https://openalex.org/C20693621","wikidata":"https://www.wikidata.org/wiki/Q6667502","display_name":"Logical framework","level":2,"score":0.5181504487991333},{"id":"https://openalex.org/C2780966255","wikidata":"https://www.wikidata.org/wiki/Q5474306","display_name":"Foundation (evidence)","level":2,"score":0.505406379699707},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.47591716051101685},{"id":"https://openalex.org/C2780432614","wikidata":"https://www.wikidata.org/wiki/Q864213","display_name":"Conservative extension","level":2,"score":0.41813135147094727},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.4162980914115906},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4112780690193176},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3374900817871094},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.24995484948158264},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.20214709639549255},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.144231379032135},{"id":"https://openalex.org/C144024400","wikidata":"https://www.wikidata.org/wiki/Q21201","display_name":"Sociology","level":0,"score":0.11899277567863464},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.08358779549598694},{"id":"https://openalex.org/C36289849","wikidata":"https://www.wikidata.org/wiki/Q34749","display_name":"Social science","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/s1571-0661(05)80304-4","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80304-4","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1016/s1571-0661(05)80304-4","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80304-4","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W90258948","https://openalex.org/W174471988","https://openalex.org/W206056444","https://openalex.org/W583126019","https://openalex.org/W1496280540","https://openalex.org/W1496607686","https://openalex.org/W1542403019","https://openalex.org/W1549434492","https://openalex.org/W1568997950","https://openalex.org/W1573165138","https://openalex.org/W1586272280","https://openalex.org/W1668251188","https://openalex.org/W1942842477","https://openalex.org/W1992383986","https://openalex.org/W1997197283","https://openalex.org/W2010883554","https://openalex.org/W2017500299","https://openalex.org/W2120713972","https://openalex.org/W2132371811","https://openalex.org/W2134287022","https://openalex.org/W2573958660","https://openalex.org/W2781884992","https://openalex.org/W2914821813","https://openalex.org/W4300668781","https://openalex.org/W6608370541","https://openalex.org/W6636137897","https://openalex.org/W6640818032","https://openalex.org/W6731864399","https://openalex.org/W6812048223","https://openalex.org/W6820483761"],"related_works":["https://openalex.org/W2157334321","https://openalex.org/W1836559177","https://openalex.org/W2898556184","https://openalex.org/W8727156","https://openalex.org/W2898891135","https://openalex.org/W2588453590","https://openalex.org/W2351847247","https://openalex.org/W2728496526","https://openalex.org/W2070348936","https://openalex.org/W2986017963"],"abstract_inverted_index":{"Category":[0],"theory":[1,40],"provides":[2],"an":[3,74,104],"excellent":[4],"foundation":[5,171],"for":[6,172,187],"studying":[7],"structured":[8,18,45,90],"specifications":[9],"and":[10,23,41,92,120,153,180,197],"their":[11,24],"composition.":[12],"For":[13],"example,":[14],"theories":[15,46,102],"can":[16,26,95],"be":[17,27,49,96,194],"together":[19],"in":[20,39,42,65,117],"a":[21,30,35,70,83,137,170,184,188],"diagram,":[22],"composition":[25],"obtained":[28],"as":[29,52,73,99,169,183],"colimit.":[31],"There":[32],"is,":[33],"however,":[34],"growing":[36],"awareness,":[37],"both":[38,115,195],"practice,":[43],"that":[44,192],"should":[47,61],"not":[48],"viewed":[50],"just":[51],"the":[53,66,87,100,109,118,125,148,156,173,177,200],"\u201cscaffolding\u201d":[54],"used":[55,168],"to":[56],"build":[57],"unstructured":[58],"theories:":[59],"they":[60,94],"become":[62],"first\ue4f8class":[63],"citizens":[64],"specification":[67],"process.":[68],"Given":[69],"logic":[71],"formalized":[72],"institution":[75,106,111,126],"I,":[76],"we":[77],"therefore":[78],"ask":[79],"whether":[80,93],"there":[81],"is":[82],"good":[84,122],"definition":[85],"of":[86,89,103,124,139,147,150,155,176,203],"category":[88,149],"I-theories,":[91],"naturally":[97],"regarded":[98],"ordinary":[101],"appropriate":[105],"S(I)":[107],"generalizing":[108],"original":[110],"I.":[112],"We":[113,131],"answer":[114],"questions":[116],"affirmative,":[119],"study":[121],"properties":[123,141],"I":[127],"inherited":[128],"by":[129,159],"S(I).":[130],"show":[132],"that,":[133],"under":[134],"natural":[135],"conditions,":[136],"number":[138],"important":[140],"are":[142],"indeed":[143],"inherited,":[144],"including":[145],"cocompleteness":[146],"theories,":[151],"liberality,":[152],"extension":[154],"basic":[157],"framework":[158,202],"free-ness":[160],"constraints.":[161],"The":[162],"results":[163],"presented":[164],"here":[165],"have":[166],"been":[167],"module":[174,190],"algebra":[175,191],"Maude":[178],"language,":[179],"seem":[181],"promising":[182],"semantic":[185],"basis":[186],"generic":[189],"could":[193],"specified":[196],"executed":[198],"within":[199],"logical":[201],"rewriting":[204],"logic.":[205]},"counts_by_year":[{"year":2015,"cited_by_count":1}],"updated_date":"2026-04-17T18:11:37.981687","created_date":"2025-10-10T00:00:00"}