{"id":"https://openalex.org/W2079439774","doi":"https://doi.org/10.1093/jigpal/jzs044","title":"Procedural isomorphism, analytic information and \u00a0-conversion by value","display_name":"Procedural isomorphism, analytic information and \u00a0-conversion by value","publication_year":2012,"publication_date":"2012-12-04","ids":{"openalex":"https://openalex.org/W2079439774","doi":"https://doi.org/10.1093/jigpal/jzs044","mag":"2079439774"},"language":"en","primary_location":{"id":"doi:10.1093/jigpal/jzs044","is_oa":false,"landing_page_url":"https://doi.org/10.1093/jigpal/jzs044","pdf_url":null,"source":{"id":"https://openalex.org/S2734381524","display_name":"Logic Journal of IGPL","issn_l":"1367-0751","issn":["1367-0751","1368-9894"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logic Journal of IGPL","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":null,"display_name":"M. Duzi","orcid":null},"institutions":[{"id":"https://openalex.org/I142208455","display_name":"VSB - Technical University of Ostrava","ror":"https://ror.org/05x8mcb75","country_code":"CZ","type":"education","lineage":["https://openalex.org/I142208455"]}],"countries":["CZ"],"is_corresponding":true,"raw_author_name":"M. Duzi","raw_affiliation_strings":["1Department of Computer Science, V\u0160B-Technical University of Ostrava, 17. listopadu 15, 708 33 Ostrava, Czech Republic and 2Department of Philosophy, Institute of Logic, Czech Academy of Sciences, Jilsk\u00e1 1, 110 00 Prague 1, Czech Republic"],"affiliations":[{"raw_affiliation_string":"1Department of Computer Science, V\u0160B-Technical University of Ostrava, 17. listopadu 15, 708 33 Ostrava, Czech Republic and 2Department of Philosophy, Institute of Logic, Czech Academy of Sciences, Jilsk\u00e1 1, 110 00 Prague 1, Czech Republic","institution_ids":["https://openalex.org/I142208455"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5070531112","display_name":"Bj\u00f8rn Jespersen","orcid":"https://orcid.org/0000-0003-1747-9428"},"institutions":[{"id":"https://openalex.org/I142208455","display_name":"VSB - Technical University of Ostrava","ror":"https://ror.org/05x8mcb75","country_code":"CZ","type":"education","lineage":["https://openalex.org/I142208455"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"B. Jespersen","raw_affiliation_strings":["Department of Computer Science, V\u0160B-Technical University of Ostrava, 17. listopadu 15, 708 33 Ostrava, Czech Republic and 2Department of Philosophy, Institute of Logic, Czech Academy of Sciences, Jilsk\u00e1 1, 110 00 Prague 1, Czech Republic","1Department of Computer Science, V\u0160B-Technical University of Ostrava, 17. listopadu 15, 708 33 Ostrava, Czech Republic and 2Department of Philosophy, Institute of Logic, Czech Academy of Sciences, Jilsk\u00e1 1, 110 00 Prague 1, Czech Republic"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, V\u0160B-Technical University of Ostrava, 17. listopadu 15, 708 33 Ostrava, Czech Republic and 2Department of Philosophy, Institute of Logic, Czech Academy of Sciences, Jilsk\u00e1 1, 110 00 Prague 1, Czech Republic","institution_ids":["https://openalex.org/I142208455"]},{"raw_affiliation_string":"1Department of Computer Science, V\u0160B-Technical University of Ostrava, 17. listopadu 15, 708 33 Ostrava, Czech Republic and 2Department of Philosophy, Institute of Logic, Czech Academy of Sciences, Jilsk\u00e1 1, 110 00 Prague 1, Czech Republic","institution_ids":["https://openalex.org/I142208455"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I142208455"],"apc_list":{"value":4151,"currency":"USD","value_usd":4151},"apc_paid":null,"fwci":1.7837,"has_fulltext":false,"cited_by_count":18,"citation_normalized_percentile":{"value":0.869953,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"21","issue":"2","first_page":"291","last_page":"308"},"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.9995999932289124,"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.9995999932289124,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9976999759674072,"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/wife","display_name":"Wife","score":0.8145707845687866},{"id":"https://openalex.org/keywords/value","display_name":"Value (mathematics)","score":0.5173903703689575},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5112080574035645},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.5084587335586548},{"id":"https://openalex.org/keywords/isomorphism","display_name":"Isomorphism (crystallography)","score":0.49392586946487427},{"id":"https://openalex.org/keywords/counterexample","display_name":"Counterexample","score":0.46800342202186584},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.4194621741771698},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.4000304341316223},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.35277360677719116},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.34768980741500854},{"id":"https://openalex.org/keywords/sociology","display_name":"Sociology","score":0.3290221095085144},{"id":"https://openalex.org/keywords/theology","display_name":"Theology","score":0.26040929555892944},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.24540802836418152},{"id":"https://openalex.org/keywords/history","display_name":"History","score":0.22453102469444275}],"concepts":[{"id":"https://openalex.org/C2778983918","wikidata":"https://www.wikidata.org/wiki/Q188830","display_name":"Wife","level":2,"score":0.8145707845687866},{"id":"https://openalex.org/C2776291640","wikidata":"https://www.wikidata.org/wiki/Q2912517","display_name":"Value (mathematics)","level":2,"score":0.5173903703689575},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5112080574035645},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.5084587335586548},{"id":"https://openalex.org/C203436722","wikidata":"https://www.wikidata.org/wiki/Q902950","display_name":"Isomorphism (crystallography)","level":3,"score":0.49392586946487427},{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.46800342202186584},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.4194621741771698},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.4000304341316223},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.35277360677719116},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.34768980741500854},{"id":"https://openalex.org/C144024400","wikidata":"https://www.wikidata.org/wiki/Q21201","display_name":"Sociology","level":0,"score":0.3290221095085144},{"id":"https://openalex.org/C27206212","wikidata":"https://www.wikidata.org/wiki/Q34178","display_name":"Theology","level":1,"score":0.26040929555892944},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.24540802836418152},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.22453102469444275},{"id":"https://openalex.org/C8010536","wikidata":"https://www.wikidata.org/wiki/Q160398","display_name":"Crystallography","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","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},{"id":"https://openalex.org/C115624301","wikidata":"https://www.wikidata.org/wiki/Q895901","display_name":"Crystal structure","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1093/jigpal/jzs044","is_oa":false,"landing_page_url":"https://doi.org/10.1093/jigpal/jzs044","pdf_url":null,"source":{"id":"https://openalex.org/S2734381524","display_name":"Logic Journal of IGPL","issn_l":"1367-0751","issn":["1367-0751","1368-9894"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logic Journal of IGPL","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.47999998927116394,"id":"https://metadata.un.org/sdg/5","display_name":"Gender equality"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W1497850818","https://openalex.org/W1529940704","https://openalex.org/W1781592523","https://openalex.org/W1964370926","https://openalex.org/W2010836328","https://openalex.org/W2014971643","https://openalex.org/W2088735483","https://openalex.org/W2117604333","https://openalex.org/W2140962753","https://openalex.org/W2149587211","https://openalex.org/W2155094707","https://openalex.org/W2172468027","https://openalex.org/W2181719741","https://openalex.org/W2312577566","https://openalex.org/W2737588134","https://openalex.org/W4237150514"],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2056396420","https://openalex.org/W2502180613","https://openalex.org/W2153599441","https://openalex.org/W2315497597","https://openalex.org/W2164026635","https://openalex.org/W3026113142","https://openalex.org/W2037905349","https://openalex.org/W2784132478"],"abstract_inverted_index":{"This":[0,160],"article":[1,161,186],"solves,":[2],"in":[3,23],"a":[4,8,13,24,47,188,208],"logically":[5],"rigorous":[6],"manner,":[7],"problem":[9],"originally":[10],"advanced":[11],"as":[12,176],"counterexample":[14],"to":[15,74,99,112,127,131,148,164,171,207],"Chomsky\u2019s":[16],"theory":[17],"of":[18,120,123,169,184,192,203,215],"binding":[19],"and":[20,38,44,58,82,125,152,178],"recently":[21],"discussed":[22],"2004":[25],"paper":[26],"by":[27],"Stephen":[28],"Neale.":[29],"The":[30,181,200],"example":[31],"is":[32,92,104,187,212],"this.":[33],"John":[34,43,57,78,128],"loves":[35,79,84,89],"his":[36,90],"wife,":[37],"so":[39],"does":[40,102],"Peter.":[41,113],"Hence":[42],"Peter":[45,59,83],"share":[46],"property.":[48],"But":[49],"which":[50],"one?":[51],"(i)":[52,96,109,124],"Loving":[53,65],"John\u2019s":[54],"wife:":[55,68],"then":[56],"love":[60],"the":[61,75,117,121,142,149,185],"same":[62,76,150],"woman.":[63,86],"(ii)":[64,98,111,126],"one\u2019s":[66],"own":[67],"then,":[69],"unless":[70],"they":[71,135],"are":[72],"married":[73],"woman,":[77],"one":[80],"woman":[81],"another":[85,213],"Since":[87],"\u2018John":[88],"wife\u2019":[91],"ambiguous":[93,106],"between":[94,107],"attributing":[95,108],"or":[97,110],"John,":[100],"\u2018So":[101],"Peter\u2019":[103],"also":[105],"With":[114,138],"unrestricted":[115],"\u03b2-reduction,":[116],"lambda-term":[118],"counterparts":[119],"attributions":[122],"both":[129],"\u03b2-reduce":[130],"(ii).":[132],"Which,":[133],"intuitively,":[134],"should":[136],"not.":[137],"suitably":[139],"restricted":[140,167],"\u03b2-conversion,":[141],"two":[143],"redexes":[144],"do":[145],"not":[146],"reduce":[147],"contractum":[151],"can":[153],"be":[154],"reconstructed":[155],"from":[156],"their":[157],"respective":[158],"contracta.":[159],"details":[162],"how":[163],"apply":[165],"this":[166,216],"rule":[168],"\u03b2-conversion":[170,193,204],"contexts":[172],"containing":[173,210],"anaphora":[174,211],"such":[175],"\u2018his\u2019":[177],"\u2018so":[179],"does\u2019.":[180],"logical":[182],"contribution":[183,214],"generally":[189],"valid":[190],"form":[191],"\u2018by":[194,198,205],"value\u2019":[195,206],"rather":[196],"than":[197],"name\u2019.":[199],"philosophical":[201],"application":[202],"context":[209],"article.":[217]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":3}],"updated_date":"2026-03-25T23:56:10.502304","created_date":"2025-10-10T00:00:00"}