{"id":"https://openalex.org/W2048288856","doi":"https://doi.org/10.2307/2266612","title":"The permutability of rules in the classical inferential calculus","display_name":"The permutability of rules in the classical inferential calculus","publication_year":1952,"publication_date":"1952-12-01","ids":{"openalex":"https://openalex.org/W2048288856","doi":"https://doi.org/10.2307/2266612","mag":"2048288856"},"language":"en","primary_location":{"id":"doi:10.2307/2266612","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2266612","pdf_url":null,"source":{"id":"https://openalex.org/S177675236","display_name":"Journal of Symbolic Logic","issn_l":"0022-4812","issn":["0022-4812","1943-5886"],"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":"Journal of Symbolic Logic","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/A5113490577","display_name":"Haskell B. Curry","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Haskell B. Curry","raw_affiliation_strings":["The Pennsylvania State College"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The Pennsylvania State College","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5113490577"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.0338,"has_fulltext":false,"cited_by_count":19,"citation_normalized_percentile":{"value":0.7447644,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"17","issue":"4","first_page":"245","last_page":"248"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9746999740600586,"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"}},"topics":[{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9746999740600586,"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"}},{"id":"https://openalex.org/T11063","display_name":"Rough Sets and Fuzzy Logic","score":0.9151999950408936,"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"}},{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9114999771118164,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/proposition","display_name":"Proposition","score":0.8156753778457642},{"id":"https://openalex.org/keywords/notation","display_name":"Notation","score":0.623672604560852},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5837477445602417},{"id":"https://openalex.org/keywords/rule-of-inference","display_name":"Rule of inference","score":0.5058948397636414},{"id":"https://openalex.org/keywords/relation","display_name":"Relation (database)","score":0.49338260293006897},{"id":"https://openalex.org/keywords/sort","display_name":"sort","score":0.47030991315841675},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.4676154851913452},{"id":"https://openalex.org/keywords/logical-consequence","display_name":"Logical consequence","score":0.4306624233722687},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.4140048027038574},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4135500192642212},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.36244258284568787},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.2905305027961731},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.27946388721466064},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.27014821767807007},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1731625497341156},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.16037413477897644},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.11627069115638733},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.07866466045379639}],"concepts":[{"id":"https://openalex.org/C2777152325","wikidata":"https://www.wikidata.org/wiki/Q108163","display_name":"Proposition","level":2,"score":0.8156753778457642},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.623672604560852},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5837477445602417},{"id":"https://openalex.org/C3746660","wikidata":"https://www.wikidata.org/wiki/Q1068763","display_name":"Rule of inference","level":2,"score":0.5058948397636414},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.49338260293006897},{"id":"https://openalex.org/C88548561","wikidata":"https://www.wikidata.org/wiki/Q347599","display_name":"sort","level":2,"score":0.47030991315841675},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.4676154851913452},{"id":"https://openalex.org/C134752490","wikidata":"https://www.wikidata.org/wiki/Q374182","display_name":"Logical consequence","level":2,"score":0.4306624233722687},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.4140048027038574},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4135500192642212},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.36244258284568787},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.2905305027961731},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.27946388721466064},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.27014821767807007},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1731625497341156},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.16037413477897644},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.11627069115638733},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.07866466045379639},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","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},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.2307/2266612","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2266612","pdf_url":null,"source":{"id":"https://openalex.org/S177675236","display_name":"Journal of Symbolic Logic","issn_l":"0022-4812","issn":["0022-4812","1943-5886"],"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":"Journal of Symbolic Logic","raw_type":"journal-article"},{"id":"pmh:oai:CULeuclid:euclid.jsl/1183731481","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.jsl/1183731481","pdf_url":null,"source":{"id":"https://openalex.org/S4306400787","display_name":"Project Euclid (Cornell University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.5199999809265137,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":1,"referenced_works":["https://openalex.org/W4238292764"],"related_works":["https://openalex.org/W19473193","https://openalex.org/W2349990005","https://openalex.org/W2369153420","https://openalex.org/W2388815250","https://openalex.org/W2394094611","https://openalex.org/W2119415133","https://openalex.org/W1574133336","https://openalex.org/W2090674622","https://openalex.org/W2111137949","https://openalex.org/W2979315407"],"abstract_inverted_index":{"We":[0],"consider":[1],"any":[2],"set":[3],"of":[4,11,17,27,31,39,47,73,82,88,102,125,131,149,155,174],"Gentzen-type":[5],"rules":[6,124],"in":[7,158],"a":[8,52,74,89,146],"formal":[9],"system":[10,19,127],"the":[12,18,29,40,83,109,126,132,150,166,171,175],"following":[13,133],"sort.":[14],"The":[15,35,86,123,153],"terms":[16],"are":[20,38,44,100,128,164],"propositions":[21,30,48,119],",":[22,56,173],"generally":[23],"to":[24,129,138],"be":[25,63,69,92,106,113,130,139],"thought":[26],"as":[28,108,141],"some":[32],"underlying":[33],"theory.":[34],"elementary":[36],"statements":[37],"form":[41,151],"where":[42],"and":[43,49,77,145,156,161],"finite":[45],"sequences":[46,61],"(1)":[50],"expresses":[51],"relation,":[53],"called":[54,64,93,165],"entailment":[55],"between":[57],"such":[58],"sequences.":[59],"These":[60],"will":[62,91,105,112],"prosequences":[65,98],";":[66],"they":[67,78,163],"may":[68,79],"void,":[70],"or":[71,169],"consist":[72],"single":[75,118],"proposition;":[76],"contain":[80],"repetitions":[81],"same":[84],"proposition.":[85],"members":[87],"prosequence":[90],"its":[94],"constituents":[95,154],".":[96],"Two":[97],"which":[99],"permutations":[101],"one":[103],"another":[104],"regarded":[107],"same.":[110],"Prosequences":[111],"designated":[114],"by":[115,120],"German":[116],"letters,":[117],"Latin":[121],"ones.":[122],"form:":[134],"This":[135],"notation":[136],"is":[137],"understood":[140],"indicating":[142],"p":[143],"premises":[144,160],"conclusion,":[147],"each":[148],"(1).":[152],"occur":[157],"all":[159],"conclusion;":[162],"parametric":[167],"constituents,":[168],"simply":[170],"parameters":[172],"inference.":[176]},"counts_by_year":[{"year":2016,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}