{"id":"https://openalex.org/W2079999798","doi":"https://doi.org/10.1017/s0960129501003309","title":"The Russell\u2013Prawitz modality","display_name":"The Russell\u2013Prawitz modality","publication_year":2001,"publication_date":"2001-07-25","ids":{"openalex":"https://openalex.org/W2079999798","doi":"https://doi.org/10.1017/s0960129501003309","mag":"2079999798"},"language":"en","primary_location":{"id":"doi:10.1017/s0960129501003309","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129501003309","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/A5051943015","display_name":"Peter Aczel","orcid":null},"institutions":[{"id":"https://openalex.org/I28407311","display_name":"University of Manchester","ror":"https://ror.org/027m9bs27","country_code":"GB","type":"education","lineage":["https://openalex.org/I28407311"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"PETER ACZEL","raw_affiliation_strings":["Departments of Mathematics and Computer Science, Manchester University, Manchester M13 9PL, England"],"affiliations":[{"raw_affiliation_string":"Departments of Mathematics and Computer Science, Manchester University, Manchester M13 9PL, England","institution_ids":["https://openalex.org/I28407311"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5051943015"],"corresponding_institution_ids":["https://openalex.org/I28407311"],"apc_list":null,"apc_paid":null,"fwci":2.1825,"has_fulltext":false,"cited_by_count":31,"citation_normalized_percentile":{"value":0.89642139,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"11","issue":"4","first_page":"541","last_page":"554"},"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.9987000226974487,"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/T10258","display_name":"Philosophy and Theoretical Science","score":0.9939000010490417,"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/intuitionistic-logic","display_name":"Intuitionistic logic","score":0.8056584596633911},{"id":"https://openalex.org/keywords/negation","display_name":"Negation","score":0.7631736397743225},{"id":"https://openalex.org/keywords/modal-operator","display_name":"Modal operator","score":0.5312373638153076},{"id":"https://openalex.org/keywords/modal-logic","display_name":"Modal logic","score":0.5305899381637573},{"id":"https://openalex.org/keywords/interpretation","display_name":"Interpretation (philosophy)","score":0.5113215446472168},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.47629013657569885},{"id":"https://openalex.org/keywords/modality","display_name":"Modality (human\u2013computer interaction)","score":0.43949151039123535},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.43218836188316345},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.426676869392395},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.4045770764350891},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.38401299715042114},{"id":"https://openalex.org/keywords/linear-logic","display_name":"Linear logic","score":0.3114401698112488},{"id":"https://openalex.org/keywords/multimodal-logic","display_name":"Multimodal logic","score":0.3112156391143799},{"id":"https://openalex.org/keywords/modal","display_name":"Modal","score":0.29973793029785156},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.255465567111969},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.2238427996635437},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.20765462517738342},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.17871147394180298},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.16188347339630127}],"concepts":[{"id":"https://openalex.org/C178421362","wikidata":"https://www.wikidata.org/wiki/Q176786","display_name":"Intuitionistic logic","level":3,"score":0.8056584596633911},{"id":"https://openalex.org/C2185349","wikidata":"https://www.wikidata.org/wiki/Q190558","display_name":"Negation","level":2,"score":0.7631736397743225},{"id":"https://openalex.org/C78344899","wikidata":"https://www.wikidata.org/wiki/Q638442","display_name":"Modal operator","level":4,"score":0.5312373638153076},{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.5305899381637573},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.5113215446472168},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.47629013657569885},{"id":"https://openalex.org/C2780226545","wikidata":"https://www.wikidata.org/wiki/Q6888030","display_name":"Modality (human\u2013computer interaction)","level":2,"score":0.43949151039123535},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.43218836188316345},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.426676869392395},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.4045770764350891},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.38401299715042114},{"id":"https://openalex.org/C28077239","wikidata":"https://www.wikidata.org/wiki/Q841728","display_name":"Linear logic","level":2,"score":0.3114401698112488},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.3112156391143799},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.29973793029785156},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.255465567111969},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.2238427996635437},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.20765462517738342},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.17871147394180298},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.16188347339630127},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","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/C188027245","wikidata":"https://www.wikidata.org/wiki/Q750446","display_name":"Polymer chemistry","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":3,"locations":[{"id":"doi:10.1017/s0960129501003309","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129501003309","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"},{"id":"pmh:oai:pure.atira.dk:openaire_cris_publications/bf13d8f7-41f6-483d-b482-bd3f10ba6f13","is_oa":false,"landing_page_url":"https://research.manchester.ac.uk/en/publications/bf13d8f7-41f6-483d-b482-bd3f10ba6f13","pdf_url":null,"source":{"id":"https://openalex.org/S4306400662","display_name":"Research Explorer (The University of Manchester)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I28407311","host_organization_name":"University of Manchester","host_organization_lineage":["https://openalex.org/I28407311"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Aczel, P 2001, 'The Russell-Prawitz Modality', Mathematical Structures in Computer Science, vol. 11, no. 4, pp. 541-554. https://doi.org/10.1017/S0960129501003309","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.39.5294","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.39.5294","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.man.ac.uk/~petera/russ-praw.ps.gz","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4","score":0.6399999856948853}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W10948657","https://openalex.org/W159715351","https://openalex.org/W162931075","https://openalex.org/W569543113","https://openalex.org/W1488538795","https://openalex.org/W1538467230","https://openalex.org/W1557351111","https://openalex.org/W1591728283","https://openalex.org/W1787181409","https://openalex.org/W1972458837","https://openalex.org/W1981311833","https://openalex.org/W1997143185","https://openalex.org/W2023132547","https://openalex.org/W2122703262","https://openalex.org/W2137657593","https://openalex.org/W2156876717","https://openalex.org/W2211325406","https://openalex.org/W2314383604","https://openalex.org/W2575149513","https://openalex.org/W3083054731"],"related_works":["https://openalex.org/W2534562289","https://openalex.org/W75246058","https://openalex.org/W1539871678","https://openalex.org/W4233254255","https://openalex.org/W2123071520","https://openalex.org/W1932434716","https://openalex.org/W2073942343","https://openalex.org/W3037186148","https://openalex.org/W4288365386","https://openalex.org/W2039904055"],"abstract_inverted_index":{"In":[0,32],"his":[1,33],"1903,":[2],"Principles":[3],"of":[4,11,20,66,76,85,101,141,159],"Mathematics,":[5],"Bertrand":[6],"Russell":[7],"mentioned":[8],"possible":[9,106],"definitions":[10,42,52],"conjunction,":[12],"disjunction,":[13],"negation":[14,151,154],"and":[15,22,128,163],"existential":[16],"quantification":[17],"in":[18,44,59,78,91],"terms":[19],"implication":[21],"universal":[23,27],"quantification,":[24],"exploiting":[25],"impredicative":[26,61],"quantifiers":[28],"over":[29],"all":[30],"propositions.":[31],"1965":[34],"Ph.D.":[35],"thesis":[36],"Dag":[37],"Prawitz":[38],"showed":[39],"that":[40,111,129,146],"these":[41,51],"hold":[43],"intuitionistic":[45,102,142],"second":[46],"order":[47],"logic.":[48],"More":[49],"recently,":[50],"have":[53],"been":[54],"used":[55,136],"to":[56,89,137],"represent":[57],"logic":[58,67,77,103,143],"various":[60],"type":[62,81],"theories.":[63],"This":[64],"treatment":[65],"is":[68,88,117],"distinct":[69],"from":[70],"the":[71,114,125,149,164],"more":[72],"standard":[73],"Curry\u2013Howard":[74],"representation":[75,100,116],"a":[79,92,118,139,156,160],"dependent":[80],"theory.The":[82],"main":[83],"aim":[84],"this":[86,98],"paper":[87],"compare,":[90],"purely":[93],"logical,":[94],"non":[95],"type-theoretic":[96],"setting,":[97],"Russell\u2013Prawitz":[99,115,126,165],"with":[104,113],"other":[105],"representations.":[107],"It":[108],"turns":[109],"out":[110],"associated":[112],"lax":[119,131,161],"modal":[120,132],"operator,":[121],"which":[122],"we":[123],"call":[124],"modality,":[127,162],"any":[130],"operator":[133],"can":[134],"be":[135],"give":[138],"translation":[140],"into":[144],"itself":[145],"generalises":[147],"both":[148],"double":[150,153],"interpretation,":[152],"being":[155],"paradigm":[157],"example":[158],"representation.":[166]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-04-19T08:26:33.389920","created_date":"2025-10-10T00:00:00"}