{"id":"https://openalex.org/W2050701211","doi":"https://doi.org/10.2178/jsl/1058448435","title":"Generality of proofs and its Brauerian representation","display_name":"Generality of proofs and its Brauerian representation","publication_year":2003,"publication_date":"2003-09-01","ids":{"openalex":"https://openalex.org/W2050701211","doi":"https://doi.org/10.2178/jsl/1058448435","mag":"2050701211"},"language":"en","primary_location":{"id":"doi:10.2178/jsl/1058448435","is_oa":false,"landing_page_url":"https://doi.org/10.2178/jsl/1058448435","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/A5018558191","display_name":"Kosta Do\u0161en","orcid":null},"institutions":[{"id":"https://openalex.org/I1338511612","display_name":"Serbian Academy of Sciences and Arts","ror":"https://ror.org/05m1y4204","country_code":"RS","type":"government","lineage":["https://openalex.org/I1338511612"]},{"id":"https://openalex.org/I4210120676","display_name":"Mathematical Institute of the Slovak Academy of Sciences","ror":"https://ror.org/02fhy7464","country_code":"SK","type":"facility","lineage":["https://openalex.org/I207624831","https://openalex.org/I4210120676"]}],"countries":["RS","SK"],"is_corresponding":false,"raw_author_name":"Kosta Do\u0161en","raw_affiliation_strings":["Mathematical Institute, Sanu, Knez Mihailova 35, P.F. 367, 11001 Belgrade, Yugoslavia, E-mail:","Mathematical Institute"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Mathematical Institute, Sanu, Knez Mihailova 35, P.F. 367, 11001 Belgrade, Yugoslavia, E-mail:","institution_ids":["https://openalex.org/I1338511612"]},{"raw_affiliation_string":"Mathematical Institute","institution_ids":["https://openalex.org/I4210120676"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5030384983","display_name":"Zoran Petri\u0107","orcid":null},"institutions":[{"id":"https://openalex.org/I1338511612","display_name":"Serbian Academy of Sciences and Arts","ror":"https://ror.org/05m1y4204","country_code":"RS","type":"government","lineage":["https://openalex.org/I1338511612"]},{"id":"https://openalex.org/I4210120676","display_name":"Mathematical Institute of the Slovak Academy of Sciences","ror":"https://ror.org/02fhy7464","country_code":"SK","type":"facility","lineage":["https://openalex.org/I207624831","https://openalex.org/I4210120676"]}],"countries":["RS","SK"],"is_corresponding":false,"raw_author_name":"Zoran Petri\u0107","raw_affiliation_strings":["Mathematical Institute, Sanu, Knez Mihailova 35, P.F. 367, 11001 Belgrade, Yugoslavia, E-mail:","Mathematical Institute"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Mathematical Institute, Sanu, Knez Mihailova 35, P.F. 367, 11001 Belgrade, Yugoslavia, E-mail:","institution_ids":["https://openalex.org/I1338511612"]},{"raw_affiliation_string":"Mathematical Institute","institution_ids":["https://openalex.org/I4210120676"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":4.6883,"has_fulltext":false,"cited_by_count":30,"citation_normalized_percentile":{"value":0.94796793,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"68","issue":"3","first_page":"740","last_page":"750"},"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.9976999759674072,"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.9976999759674072,"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.9850999712944031,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9807000160217285,"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/generality","display_name":"Generality","score":0.9051119089126587},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7311596274375916},{"id":"https://openalex.org/keywords/generalization","display_name":"Generalization","score":0.645379900932312},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.6424046754837036},{"id":"https://openalex.org/keywords/equivalence-relation","display_name":"Equivalence relation","score":0.5526028871536255},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.5388742089271545},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.4836388826370239},{"id":"https://openalex.org/keywords/variable","display_name":"Variable (mathematics)","score":0.42801743745803833},{"id":"https://openalex.org/keywords/binary-relation","display_name":"Binary relation","score":0.4274210035800934},{"id":"https://openalex.org/keywords/logical-equivalence","display_name":"Logical equivalence","score":0.4263010621070862},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3871636688709259},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3343988060951233},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.26384884119033813}],"concepts":[{"id":"https://openalex.org/C2780767217","wikidata":"https://www.wikidata.org/wiki/Q5532421","display_name":"Generality","level":2,"score":0.9051119089126587},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7311596274375916},{"id":"https://openalex.org/C177148314","wikidata":"https://www.wikidata.org/wiki/Q170084","display_name":"Generalization","level":2,"score":0.645379900932312},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.6424046754837036},{"id":"https://openalex.org/C156103551","wikidata":"https://www.wikidata.org/wiki/Q130998","display_name":"Equivalence relation","level":2,"score":0.5526028871536255},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.5388742089271545},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.4836388826370239},{"id":"https://openalex.org/C182365436","wikidata":"https://www.wikidata.org/wiki/Q50701","display_name":"Variable (mathematics)","level":2,"score":0.42801743745803833},{"id":"https://openalex.org/C65180967","wikidata":"https://www.wikidata.org/wiki/Q130901","display_name":"Binary relation","level":2,"score":0.4274210035800934},{"id":"https://openalex.org/C70846408","wikidata":"https://www.wikidata.org/wiki/Q220433","display_name":"Logical equivalence","level":3,"score":0.4263010621070862},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3871636688709259},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3343988060951233},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.26384884119033813},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"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/C542102704","wikidata":"https://www.wikidata.org/wiki/Q183257","display_name":"Psychotherapist","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"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/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.2178/jsl/1058448435","is_oa":false,"landing_page_url":"https://doi.org/10.2178/jsl/1058448435","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/1058448435","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.jsl/1058448435","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":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W136934826","https://openalex.org/W310636430","https://openalex.org/W1512478964","https://openalex.org/W1557413548","https://openalex.org/W1625847309","https://openalex.org/W1968273868","https://openalex.org/W1985063546","https://openalex.org/W1994794456","https://openalex.org/W2002241150","https://openalex.org/W2049362364","https://openalex.org/W2055942509","https://openalex.org/W2068169489","https://openalex.org/W2076812578","https://openalex.org/W2086681482","https://openalex.org/W2088729555","https://openalex.org/W2328830381","https://openalex.org/W2497746845","https://openalex.org/W2612451553","https://openalex.org/W2744169538","https://openalex.org/W2951667359","https://openalex.org/W2952259559","https://openalex.org/W2952611708","https://openalex.org/W3037249429","https://openalex.org/W4234736639","https://openalex.org/W4237757413","https://openalex.org/W6892230820"],"related_works":["https://openalex.org/W2951667359","https://openalex.org/W2010795980","https://openalex.org/W1598356149","https://openalex.org/W4247436880","https://openalex.org/W2378405769","https://openalex.org/W2752896058","https://openalex.org/W2062503615","https://openalex.org/W2096644947","https://openalex.org/W2350271179","https://openalex.org/W2271824796"],"abstract_inverted_index":{"Abstract":[0],"The":[1,52],"generality":[2,115],"of":[3,13,15,26,42,49,59,64,75,83,138,141,145,154,157,182,193],"a":[4,119,189],"derivation":[5,66],"is":[6,116,131,161,177,186],"an":[7],"equivalence":[8,124,155],"relation":[9,33],"on":[10,126],"the":[11,27,43,50,65,73,81,87,93,100,109,148,152,165,178],"set":[12],"occurrences":[14,25,41],"variables":[16,53,70],"in":[17,31,46,54,68,80,164],"its":[18],"premises":[19,95],"and":[20,35,96,104],"conclusion":[21],"such":[22],"that":[23,89,113],"two":[24,90],"same":[28,44,94,101,110],"variable":[29,45],"are":[30,56,123,136,169],"this":[32],"if":[34,37,103,106],"only":[36,105],"they":[38,107],"must":[39],"remain":[40],"every":[47],"generalization":[48,63],"derivation.":[51],"question":[55],"propositional":[57],"or":[58],"another":[60],"type.":[61],"A":[62],"consists":[67],"diversifying":[69],"without":[71],"changing":[72],"rules":[74],"inference.":[76],"This":[77,159,184],"paper":[78],"examines":[79],"setting":[82],"categorial":[84],"proof":[85,102],"theory":[86],"conjecture":[88],"derivations":[91,142],"with":[92,147],"conclusions":[97],"stand":[98],"for":[99],"have":[108],"generality.":[111,158],"For":[112],"purpose":[114],"defined":[117],"within":[118],"category":[120,153,160,166],"whose":[121,167],"arrows":[122,168],"relations":[125,156,171],"finite":[127,173],"ordinals,":[128,174],"where":[129,175],"composition":[130,176,181],"rather":[132],"complicated.":[133],"Several":[134],"examples":[135],"given":[137],"deductive":[139],"systems":[140],"covering":[143],"fragments":[144],"logic,":[146],"associated":[149],"map":[150],"into":[151],"isomorphically":[162],"represented":[163],"binary":[170],"between":[172],"usual":[179],"simple":[180],"relations.":[183],"representation":[185,191],"related":[187],"to":[188],"classical":[190],"result":[192],"Richard":[194],"Brauer.":[195]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":4}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}