{"id":"https://openalex.org/W2145617779","doi":"https://doi.org/10.1017/s096012950100336x","title":"Locus Solum: From the rules of logic to the logic of rules","display_name":"Locus Solum: From the rules of logic to the logic of rules","publication_year":2001,"publication_date":"2001-06-01","ids":{"openalex":"https://openalex.org/W2145617779","doi":"https://doi.org/10.1017/s096012950100336x","mag":"2145617779"},"language":"en","primary_location":{"id":"doi:10.1017/s096012950100336x","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s096012950100336x","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"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":"Mathematical Structures in Computer 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/A5109053596","display_name":"Jean-Yves Girard","orcid":null},"institutions":[{"id":"https://openalex.org/I4210138206","display_name":"Institut de Math\u00e9matiques de Marseille","ror":"https://ror.org/042h2y225","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I21491767","https://openalex.org/I4210138206","https://openalex.org/I4210141950","https://openalex.org/I4210142724"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"JEAN-YVES GIRARD","raw_affiliation_strings":["Institut de Math\u00e9matiques de Luminy, UPR 9016 \u2013 CNRS 163, Avenue de Luminy, Case 930, F-13288 Marseille Cedex 09. Email:","Institut de Math\u00e9matiques de Luminy, UPR 9016 \u2013 CNRS 163, Avenue de Luminy, Case 930, F-13288 Marseille Cedex 09. Email: girard@iml.univ-mrs.fr#TAB#"],"affiliations":[{"raw_affiliation_string":"Institut de Math\u00e9matiques de Luminy, UPR 9016 \u2013 CNRS 163, Avenue de Luminy, Case 930, F-13288 Marseille Cedex 09. Email:","institution_ids":["https://openalex.org/I4210138206"]},{"raw_affiliation_string":"Institut de Math\u00e9matiques de Luminy, UPR 9016 \u2013 CNRS 163, Avenue de Luminy, Case 930, F-13288 Marseille Cedex 09. Email: girard@iml.univ-mrs.fr#TAB#","institution_ids":["https://openalex.org/I4210138206"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5109053596"],"corresponding_institution_ids":["https://openalex.org/I4210138206"],"apc_list":null,"apc_paid":null,"fwci":14.7317,"has_fulltext":false,"cited_by_count":259,"citation_normalized_percentile":{"value":0.98872649,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":100},"biblio":{"volume":"11","issue":"3","first_page":"301","last_page":"506"},"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.9998000264167786,"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.9998000264167786,"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.9887999892234802,"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.9721999764442444,"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/fang","display_name":"Fang","score":0.9501422643661499},{"id":"https://openalex.org/keywords/mistake","display_name":"Mistake","score":0.7449628710746765},{"id":"https://openalex.org/keywords/programmer","display_name":"Programmer","score":0.6204870939254761},{"id":"https://openalex.org/keywords/impossibility","display_name":"Impossibility","score":0.41364043951034546},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.37840479612350464},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3460281491279602},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.3290242552757263},{"id":"https://openalex.org/keywords/genealogy","display_name":"Genealogy","score":0.32190990447998047},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.31139659881591797},{"id":"https://openalex.org/keywords/law","display_name":"Law","score":0.2954995036125183},{"id":"https://openalex.org/keywords/history","display_name":"History","score":0.28168031573295593},{"id":"https://openalex.org/keywords/political-science","display_name":"Political science","score":0.18325328826904297}],"concepts":[{"id":"https://openalex.org/C2778774319","wikidata":"https://www.wikidata.org/wiki/Q1940269","display_name":"Fang","level":2,"score":0.9501422643661499},{"id":"https://openalex.org/C2777179996","wikidata":"https://www.wikidata.org/wiki/Q911222","display_name":"Mistake","level":2,"score":0.7449628710746765},{"id":"https://openalex.org/C2778514511","wikidata":"https://www.wikidata.org/wiki/Q1374194","display_name":"Programmer","level":2,"score":0.6204870939254761},{"id":"https://openalex.org/C2776261394","wikidata":"https://www.wikidata.org/wiki/Q315562","display_name":"Impossibility","level":2,"score":0.41364043951034546},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.37840479612350464},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3460281491279602},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.3290242552757263},{"id":"https://openalex.org/C53553401","wikidata":"https://www.wikidata.org/wiki/Q47307","display_name":"Genealogy","level":1,"score":0.32190990447998047},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.31139659881591797},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.2954995036125183},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.28168031573295593},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.18325328826904297},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1017/s096012950100336x","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s096012950100336x","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"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":"Mathematical Structures in Computer Science","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Sustainable cities and communities","score":0.6600000262260437,"id":"https://metadata.un.org/sdg/11"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":74,"referenced_works":["https://openalex.org/W54625895","https://openalex.org/W147093031","https://openalex.org/W159715351","https://openalex.org/W969295556","https://openalex.org/W1485153875","https://openalex.org/W1490922036","https://openalex.org/W1514349410","https://openalex.org/W1525064220","https://openalex.org/W1530168704","https://openalex.org/W1544633123","https://openalex.org/W1547926009","https://openalex.org/W1583810709","https://openalex.org/W1592287058","https://openalex.org/W1597533630","https://openalex.org/W1847465957","https://openalex.org/W1919077273","https://openalex.org/W1965630431","https://openalex.org/W1973260109","https://openalex.org/W1978840985","https://openalex.org/W1984173115","https://openalex.org/W1985185257","https://openalex.org/W1985955425","https://openalex.org/W1986402635","https://openalex.org/W1993205599","https://openalex.org/W1996605832","https://openalex.org/W2001699541","https://openalex.org/W2002529995","https://openalex.org/W2002823922","https://openalex.org/W2006177255","https://openalex.org/W2007270285","https://openalex.org/W2008920425","https://openalex.org/W2012319728","https://openalex.org/W2024189573","https://openalex.org/W2038831710","https://openalex.org/W2038883640","https://openalex.org/W2039112578","https://openalex.org/W2040807747","https://openalex.org/W2052249237","https://openalex.org/W2054969282","https://openalex.org/W2058958439","https://openalex.org/W2060878518","https://openalex.org/W2074026916","https://openalex.org/W2074560788","https://openalex.org/W2078432227","https://openalex.org/W2079171825","https://openalex.org/W2086439708","https://openalex.org/W2086727636","https://openalex.org/W2088735483","https://openalex.org/W2089702017","https://openalex.org/W2093541252","https://openalex.org/W2094685149","https://openalex.org/W2095219623","https://openalex.org/W2107905351","https://openalex.org/W2114804254","https://openalex.org/W2115726813","https://openalex.org/W2119240423","https://openalex.org/W2122284739","https://openalex.org/W2127114597","https://openalex.org/W2132265554","https://openalex.org/W2134788346","https://openalex.org/W2144747140","https://openalex.org/W2149837936","https://openalex.org/W2152733053","https://openalex.org/W2156950788","https://openalex.org/W2163663581","https://openalex.org/W2165446401","https://openalex.org/W2169907127","https://openalex.org/W2328580899","https://openalex.org/W2482810752","https://openalex.org/W2493216236","https://openalex.org/W2911865844","https://openalex.org/W2914837968","https://openalex.org/W2977904728","https://openalex.org/W3135320517"],"related_works":["https://openalex.org/W2373744651","https://openalex.org/W2390188116","https://openalex.org/W1578091436","https://openalex.org/W2356575882","https://openalex.org/W2384156839","https://openalex.org/W1590719878","https://openalex.org/W4244271513","https://openalex.org/W4251025302","https://openalex.org/W2382961009","https://openalex.org/W2969833861"],"abstract_inverted_index":{"Go":[0],"back":[1],"to":[2,54],"An-fang,":[3],"the":[4,9,24,36,44,56,62,65,68,72],"Peace":[5],"Square":[6],"at":[7,12,40],"An-Fang,":[8,13,41],"Beginning":[10],"Place":[11],"where":[14],"all":[15],"things":[16],"start":[17],"(\u2026)":[18,32],"An-Fang":[19],"was":[20,39],"near":[21],"a":[22,29],"city,":[23],"only":[25],"living":[26],"city":[27],"with":[28],"pre-atomic":[30],"name":[31],"The":[33,77],"headquarters":[34],"of":[35,80],"People":[37],"Programmer":[38],"and":[42,67],"there":[43],"mistake":[45],"happened:":[46],"A":[47,59],"ruby":[48],"trembled.":[49],"Two":[50],"tourmaline":[51],"nets":[52],"failed":[53],"rectify":[55],"laser":[57],"beam.":[58],"diamond":[60],"noted":[61],"error.":[63],"Both":[64],"error":[66],"correction":[69],"went":[70],"into":[71],"general":[73],"computer.":[74],"Cordwainer":[75],"Smith":[76],"Dead":[78],"Lady":[79],"Clown":[81],"Town":[82],",":[83],"1964.":[84]},"counts_by_year":[{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":7},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":15},{"year":2020,"cited_by_count":7},{"year":2019,"cited_by_count":7},{"year":2018,"cited_by_count":9},{"year":2017,"cited_by_count":4},{"year":2016,"cited_by_count":9},{"year":2015,"cited_by_count":13},{"year":2014,"cited_by_count":8},{"year":2013,"cited_by_count":8},{"year":2012,"cited_by_count":15}],"updated_date":"2026-04-14T08:04:32.555800","created_date":"2025-10-10T00:00:00"}