{"id":"https://openalex.org/W2751231442","doi":"https://doi.org/10.1093/logcom/exx028","title":"Universal logic and computation","display_name":"Universal logic and computation","publication_year":2017,"publication_date":"2017-08-04","ids":{"openalex":"https://openalex.org/W2751231442","doi":"https://doi.org/10.1093/logcom/exx028","mag":"2751231442"},"language":"en","primary_location":{"id":"doi:10.1093/logcom/exx028","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exx028","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"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":"Journal of Logic and Computation","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/A5071139324","display_name":"R\u0103zvan Diaconescu","orcid":"https://orcid.org/0000-0002-8178-9538"},"institutions":[{"id":"https://openalex.org/I58077936","display_name":"Romanian Academy","ror":"https://ror.org/0561n6946","country_code":"RO","type":"archive","lineage":["https://openalex.org/I58077936"]},{"id":"https://openalex.org/I4210120266","display_name":"Czech Academy of Sciences, Institute of Mathematics","ror":"https://ror.org/02tv1yf50","country_code":"CZ","type":"facility","lineage":["https://openalex.org/I202391551","https://openalex.org/I4210120266"]}],"countries":["CZ","RO"],"is_corresponding":true,"raw_author_name":"R\u0103zvan Diaconescu","raw_affiliation_strings":["*Simion Stoilow Institute of Mathematics of the Romanian Academy E-mail: Razvan.Diaconescu@imar.ro","Simion Stoilow Institute of Mathematics of the Romanian Academy E-mail:"],"affiliations":[{"raw_affiliation_string":"*Simion Stoilow Institute of Mathematics of the Romanian Academy E-mail: Razvan.Diaconescu@imar.ro","institution_ids":["https://openalex.org/I58077936"]},{"raw_affiliation_string":"Simion Stoilow Institute of Mathematics of the Romanian Academy E-mail:","institution_ids":["https://openalex.org/I58077936","https://openalex.org/I4210120266"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5071139324"],"corresponding_institution_ids":["https://openalex.org/I4210120266","https://openalex.org/I58077936"],"apc_list":{"value":4151,"currency":"USD","value_usd":4151},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.14961243,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"27","issue":"6","first_page":"1677","last_page":"1678"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9919000267982483,"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.9919000267982483,"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.9746999740600586,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9380999803543091,"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/philosophy-of-logic","display_name":"Philosophy of logic","score":0.45791712403297424},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.456810861825943},{"id":"https://openalex.org/keywords/intuitionistic-logic","display_name":"Intuitionistic logic","score":0.4236817955970764},{"id":"https://openalex.org/keywords/paraconsistent-logic","display_name":"Paraconsistent logic","score":0.4211960732936859},{"id":"https://openalex.org/keywords/classical-logic","display_name":"Classical logic","score":0.413574755191803},{"id":"https://openalex.org/keywords/computational-logic","display_name":"Computational logic","score":0.4117191731929779},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3306199908256531},{"id":"https://openalex.org/keywords/higher-order-logic","display_name":"Higher-order logic","score":0.257615327835083},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.22364836931228638},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.22014620900154114},{"id":"https://openalex.org/keywords/linear-logic","display_name":"Linear logic","score":0.21918338537216187},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.16187390685081482}],"concepts":[{"id":"https://openalex.org/C101874905","wikidata":"https://www.wikidata.org/wiki/Q2476757","display_name":"Philosophy of logic","level":2,"score":0.45791712403297424},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.456810861825943},{"id":"https://openalex.org/C178421362","wikidata":"https://www.wikidata.org/wiki/Q176786","display_name":"Intuitionistic logic","level":3,"score":0.4236817955970764},{"id":"https://openalex.org/C16796852","wikidata":"https://www.wikidata.org/wiki/Q426592","display_name":"Paraconsistent logic","level":4,"score":0.4211960732936859},{"id":"https://openalex.org/C32241873","wikidata":"https://www.wikidata.org/wiki/Q236975","display_name":"Classical logic","level":2,"score":0.413574755191803},{"id":"https://openalex.org/C124047733","wikidata":"https://www.wikidata.org/wiki/Q5157327","display_name":"Computational logic","level":3,"score":0.4117191731929779},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3306199908256531},{"id":"https://openalex.org/C169896238","wikidata":"https://www.wikidata.org/wiki/Q1644136","display_name":"Higher-order logic","level":3,"score":0.257615327835083},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.22364836931228638},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.22014620900154114},{"id":"https://openalex.org/C28077239","wikidata":"https://www.wikidata.org/wiki/Q841728","display_name":"Linear logic","level":2,"score":0.21918338537216187},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.16187390685081482}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1093/logcom/exx028","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exx028","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"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":"Journal of Logic and Computation","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6100000143051147,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2556994983","https://openalex.org/W2626125638","https://openalex.org/W4220915121","https://openalex.org/W2092293513","https://openalex.org/W3016207443","https://openalex.org/W1770725","https://openalex.org/W2497058334","https://openalex.org/W2008363667","https://openalex.org/W2024855311","https://openalex.org/W2140910855"],"abstract_inverted_index":{"This":[0,112],"special":[1,15,56],"issue":[2,16],"contains":[3],"papers":[4],"related":[5],"to":[6,25,28,67,70,179,313,326],"Universal":[7,91,110,133,145,172,204,230],"Logic":[8,146,173,205,231],"and":[9,75,118,137,167,323],"Computation.":[10],"The":[11,306],"work":[12,181],"on":[13,31],"this":[14,55,82,96,314],"started":[17],"about":[18,158],"three":[19],"years":[20,45],"ago":[21,46],"with":[22,203],"the":[23,32,48,51,180,207,260,267,301,318],"intention":[24],"dedicate":[26,68],"it":[27,62,69,162,238],"Jean-Yves":[29],"B\u00e9ziau":[30],"occasion":[33],"of":[34,44,50,53,81,109,182,194,243,246,256,269,272,290,303,320,330],"his":[35],"50th":[36],"anniversary":[37],"which":[38],"actually":[39],"took":[40],"place":[41],"a":[42,78,102,114,128,138,152,164,191,234,241,253,270,287,311,327],"couple":[43],"in":[47,87,107,132,154,185,197,206,296,300],"middle":[49],"process":[52],"preparing":[54],"issue.":[57],"I":[58],"think":[59],"even":[60],"now":[61,121],"is":[63,77,190,232,239,252],"not":[64,233],"too":[65],"late":[66],"Jean-Yves,":[71],"who":[72],"has":[73,94,147,265],"been":[74,124,148,201],"still":[76],"main":[79],"promoter":[80],"quite":[83,103],"revolutionary":[84],"new":[85,235,291,315],"trend":[86,153,309],"logic,":[88],"known":[89],"as":[90,151,277],"Logic.":[92,111],"He":[93],"done":[95],"especially":[97,299],"by":[98,317],"building":[99],"from":[100],"scratch":[101],"amazing":[104],"academic":[105],"infrastructure":[106],"support":[108],"includes":[113],"dedicated":[115],"World":[116],"Congress":[117],"School":[119],"(until":[120],"there":[122,168,189],"have":[123,200,294],"five":[125],"such":[126,276],"events),":[127],"book":[129],"series":[130],"(Studies":[131],"Logic,":[134],"Springer":[135,142],"Basel)":[136],"journal":[139],"(Logica":[140],"Universalis,":[141],"Basel).":[143],"Although":[144],"clearly":[149],"recognized":[150],"mathematical":[155,263],"logic":[156,198,264,308],"since":[157,169],"one":[159],"decade":[160],"only,":[161],"had":[163],"presence":[165],"here":[166],"much":[170],"longer.":[171],"ideas":[174],"can":[175],"be":[176],"traced":[177],"back":[178],"Paul":[183,211],"Herz":[184],"1922.":[186],"In":[187],"fact":[188],"whole":[192],"string":[193],"famous":[195],"names":[196],"that":[199],"involved":[202],"last":[208,261],"century,":[209],"including":[210],"Bernays,":[212],"Kurt":[213],"G\u00f6del,":[214],"Alfred":[215],"Tarski,":[216],"Haskell":[217],"Curry,":[218],"Jerzy":[219],"\u0141o\u015b,":[220],"Roman":[221],"Suszko,":[222],"Saul":[223],"Kripke,":[224],"Dana":[225],"Scott,":[226],"Dov":[227],"Gabbay,":[228],"etc.":[229,285],"super-logic,":[236],"but":[237],"rather":[240],"body":[242],"general":[244,254,321],"theories":[245],"logical":[247,274,292,331],"structures,":[248],"similarly,":[249],"universal":[250,307],"algebra":[251],"theory":[255],"algebraic":[257],"structures.":[258],"Within":[259],"century":[262],"witnessed":[266],"birth":[268],"multitude":[271],"unconventional":[273],"systems,":[275],"intuitionistic,":[278],"modal,":[279],"multiple":[280],"valued,":[281],"paraconsistent,":[282],"non-monotonic":[283],"logics,":[284],"Moreover,":[286],"big":[288],"number":[289],"systems":[293],"appeared":[295],"computer":[297],"science,":[298],"area":[302],"formal":[304],"methods.":[305],"constitutes":[310],"response":[312],"multiplicity":[316],"development":[319],"concepts":[322],"methods":[324],"applicable":[325],"great":[328],"variety":[329],"systems.":[332]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}