乐胖代购免代理版

{"id":"https://openalex.org/W3047175761","doi":"https://doi.org/10.1093/jigpal/jzaa027","title":"Saturated models of first-order many-valued logics","display_name":"Saturated models of first-order many-valued logics","publication_year":2020,"publication_date":"2020-06-25","ids":{"openalex":"https://openalex.org/W3047175761","doi":"https://doi.org/10.1093/jigpal/jzaa027","mag":"3047175761"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1093/jigpal/jzaa027","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_indexed_in_scopus":true,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311647","https://openalex.org/P4310311648"],"host_organization_lineage_names":["University of Oxford","Oxford University Press"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"journal-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://usiena-air.unisi.it/bitstream/11365/1200968/2/Badia_Noguera_IGPL-final.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5089384409","display_name":"Guillermo Bad\u00eda","orcid":"https://orcid.org/0000-0002-5597-6794"},"institutions":[{"id":"https://openalex.org/I165143802","display_name":"The University of Queensland","ror":"https://ror.org/00rqy9422","country_code":"AU","type":"funder","lineage":["https://openalex.org/I165143802"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Guillermo Badia","raw_affiliation_strings":["School of Historical and Philosophical Inquiry, University of Queensland, Brisbane, St Lucia, QLD 4072, Australia"],"affiliations":[{"raw_affiliation_string":"School of Historical and Philosophical Inquiry, University of Queensland, Brisbane, St Lucia, QLD 4072, Australia","institution_ids":["https://openalex.org/I165143802"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5038642668","display_name":"Carles Noguera","orcid":"https://orcid.org/0000-0003-4910-599X"},"institutions":[{"id":"https://openalex.org/I4210119419","display_name":"Czech Academy of Sciences, Institute of Information Theory and Automation","ror":"https://ror.org/03h1hsz49","country_code":"CZ","type":"facility","lineage":["https://openalex.org/I202391551","https://openalex.org/I4210119419"]}],"countries":["CZ"],"is_corresponding":true,"raw_author_name":"Carles Noguera","raw_affiliation_strings":["Institute of Information Theory and Automation, Czech Academy of Sciences, Pod vod\u00e1renskou v\u011b\u017e\u00ed 4, 182 00 Prague, Czech Republic"],"affiliations":[{"raw_affiliation_string":"Institute of Information Theory and Automation, Czech Academy of Sciences, Pod vod\u00e1renskou v\u011b\u017e\u00ed 4, 182 00 Prague, Czech Republic","institution_ids":["https://openalex.org/I4210119419"]}]}],"institution_assertions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5038642668"],"corresponding_institution_ids":["https://openalex.org/I4210119419"],"apc_list":{"value":4151,"currency":"USD","value_usd":4151},"apc_paid":null,"fwci":0.228,"has_fulltext":true,"fulltext_origin":"pdf","cited_by_count":3,"citation_normalized_percentile":{"value":0.627804,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":73,"max":76},"biblio":{"volume":"30","issue":"1","first_page":"1","last_page":"20"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9999,"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.9999,"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/T11567","display_name":"semigroups and automata theory","score":0.9949,"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.9933,"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/satisfiability","display_name":"Satisfiability","score":0.50815845}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.690114},{"id":"https://openalex.org/C177148314","wikidata":"https://www.wikidata.org/wiki/Q170084","display_name":"Generalization","level":2,"score":0.68442756},{"id":"https://openalex.org/C200288055","wikidata":"https://www.wikidata.org/wiki/Q2621792","display_name":"Element (criminal law)","level":2,"score":0.536612},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.52506703},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.50815845},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.492806},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.49189448},{"id":"https://openalex.org/C180645754","wikidata":"https://www.wikidata.org/wiki/Q474715","display_name":"Partially ordered set","level":2,"score":0.4897292},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4026481},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.37419403},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.35465133},{"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/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","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/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1093/jigpal/jzaa027","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_indexed_in_scopus":true,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311647","https://openalex.org/P4310311648"],"host_organization_lineage_names":["University of Oxford","Oxford University Press"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"http://hdl.handle.net/11365/1200968","pdf_url":"https://usiena-air.unisi.it/bitstream/11365/1200968/2/Badia_Noguera_IGPL-final.pdf","source":{"id":"https://openalex.org/S4377196319","display_name":"Use Siena air (University of Siena)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":"https://openalex.org/I102064193","host_organization_name":"University of Siena","host_organization_lineage":["https://openalex.org/I102064193"],"host_organization_lineage_names":["University of Siena"],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false}],"best_oa_location":{"is_oa":true,"landing_page_url":"http://hdl.handle.net/11365/1200968","pdf_url":"https://usiena-air.unisi.it/bitstream/11365/1200968/2/Badia_Noguera_IGPL-final.pdf","source":{"id":"https://openalex.org/S4377196319","display_name":"Use Siena air (University of Siena)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":"https://openalex.org/I102064193","host_organization_name":"University of Siena","host_organization_lineage":["https://openalex.org/I102064193"],"host_organization_lineage_names":["University of Siena"],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.45,"display_name":"Peace, justice, and strong institutions"}],"grants":[{"funder":"https://openalex.org/F4320321006","funder_display_name":"Grantov\u00e1 Agentura \u010cesk\u00e9 Republiky","award_id":"GA17-04630S"}],"datasets":[],"versions":[],"referenced_works_count":29,"referenced_works":["https://openalex.org/W1026721552","https://openalex.org/W1499179478","https://openalex.org/W1593399533","https://openalex.org/W1596476585","https://openalex.org/W1984856495","https://openalex.org/W1988776462","https://openalex.org/W2009190427","https://openalex.org/W2040041998","https://openalex.org/W2091957209","https://openalex.org/W2097386663","https://openalex.org/W2110182592","https://openalex.org/W2112664318","https://openalex.org/W2119353490","https://openalex.org/W2122808108","https://openalex.org/W2150198624","https://openalex.org/W2151131175","https://openalex.org/W2151740616","https://openalex.org/W2167635066","https://openalex.org/W2168995070","https://openalex.org/W2401293881","https://openalex.org/W2790722298","https://openalex.org/W2802972152","https://openalex.org/W2884276855","https://openalex.org/W2906721145","https://openalex.org/W2920142884","https://openalex.org/W2962951564","https://openalex.org/W2980262645","https://openalex.org/W3008459132","https://openalex.org/W4388311772"],"related_works":["https://openalex.org/W4394660572","https://openalex.org/W4390961156","https://openalex.org/W4312224320","https://openalex.org/W4205203210","https://openalex.org/W2347443236","https://openalex.org/W2184328455","https://openalex.org/W2146274131","https://openalex.org/W2106070061","https://openalex.org/W1963087247","https://openalex.org/W1489559156"],"abstract_inverted_index":{"Abstract":[0],"This":[1],"paper":[2],"is":[3],"devoted":[4],"to":[5,64,82],"the":[6,110,130],"problem":[7],"of":[8,10,22,26,28,40,50,97,99,109,115,124,129,132,139],"existence":[9],"saturated":[11],"models":[12,140],"for":[13],"first-order":[14],"many-valued":[15],"logics.":[16],"We":[17],"consider":[18],"a":[19,41,65,70,107,121,133,136],"general":[20],"notion":[21],"type":[23],"as":[24,73,76,88,95],"pairs":[25,96],"sets":[27,98],"formulas":[29],"in":[30,127],"one":[31],"free":[32],"variable":[33],"that":[34,37,57],"express":[35],"properties":[36],"an":[38,51],"element":[39],"model":[42,59,71],"should,":[43],"respectively,":[44],"satisfy":[45],"and":[46,101,104,106,141],"falsify.":[47],"By":[48],"means":[49],"elementary":[52,116],"chains":[53],"construction,":[54],"we":[55,86,119],"prove":[56,83],"each":[58],"can":[60],"be":[61],"elementarily":[62],"extended":[63],"$\\kappa":[66,125],"$-saturated":[67],"model,":[68],"i.e.":[69],"where":[72],"many":[74],"types":[75],"possible":[77],"are":[78],"realized.":[79],"In":[80],"order":[81],"this":[84],"theorem":[85,112],"obtain,":[87],"by-products,":[89],"some":[90],"results":[91],"on":[92,113],"tableaux":[93],"(understood":[94],"formulas)":[100],"their":[102],"consistency":[103],"satisfiability":[105],"generalization":[108],"Tarski\u2013Vaught":[111],"unions":[114],"chains.":[117],"Finally,":[118],"provide":[120],"structural":[122],"characterization":[123],"$-saturation":[126],"terms":[128],"completion":[131],"diagram":[134],"representing":[135],"certain":[137],"configuration":[138],"mappings.":[142]},"abstract_inverted_index_v3":null,"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W3047175761","counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1}],"updated_date":"2025-03-20T22:04:42.999685","created_date":"2020-08-10"}