{"id":"https://openalex.org/W3211220632","doi":"https://doi.org/10.1093/jigpal/jzab030","title":"On weak filters and ultrafilters: Set theory from (and for) knowledge representation","display_name":"On weak filters and ultrafilters: Set theory from (and for) knowledge representation","publication_year":2021,"publication_date":"2021-09-20","ids":{"openalex":"https://openalex.org/W3211220632","doi":"https://doi.org/10.1093/jigpal/jzab030","mag":"3211220632"},"language":"en","primary_location":{"id":"doi:10.1093/jigpal/jzab030","is_oa":false,"landing_page_url":"https://doi.org/10.1093/jigpal/jzab030","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_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":"Logic Journal of the IGPL","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/A5063130789","display_name":"Costas D. Koutras","orcid":"https://orcid.org/0000-0002-2488-0167"},"institutions":[{"id":"https://openalex.org/I2803079837","display_name":"American University of the Middle East","ror":"https://ror.org/02gqgne03","country_code":"KW","type":"education","lineage":["https://openalex.org/I2803079837"]}],"countries":["KW"],"is_corresponding":true,"raw_author_name":"Costas D Koutras","raw_affiliation_strings":["College of Engineering and Technology, American University of the Middle East , Egaila 54200, Kuwait"],"affiliations":[{"raw_affiliation_string":"College of Engineering and Technology, American University of the Middle East , Egaila 54200, Kuwait","institution_ids":["https://openalex.org/I2803079837"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087450456","display_name":"Christos Moyzes","orcid":"https://orcid.org/0009-0000-5629-6638"},"institutions":[{"id":"https://openalex.org/I146655781","display_name":"University of Liverpool","ror":"https://ror.org/04xs57h96","country_code":"GB","type":"education","lineage":["https://openalex.org/I146655781"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Christos Moyzes","raw_affiliation_strings":["Knowledge Representation Group, Department of Computer Science, University of Liverpool , Liverpool L69 7ZF, UK"],"affiliations":[{"raw_affiliation_string":"Knowledge Representation Group, Department of Computer Science, University of Liverpool , Liverpool L69 7ZF, UK","institution_ids":["https://openalex.org/I146655781"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027624552","display_name":"Christos Nomikos","orcid":null},"institutions":[{"id":"https://openalex.org/I194019607","display_name":"University of Ioannina","ror":"https://ror.org/01qg3j183","country_code":"GR","type":"education","lineage":["https://openalex.org/I194019607"]}],"countries":["GR"],"is_corresponding":false,"raw_author_name":"Christos Nomikos","raw_affiliation_strings":["Department of Computer Science & Engineering, University of Ioannina , Ioannina 45110, Greece"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science & Engineering, University of Ioannina , Ioannina 45110, Greece","institution_ids":["https://openalex.org/I194019607"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002297502","display_name":"Konstantinos Tsaprounis","orcid":null},"institutions":[{"id":"https://openalex.org/I98805295","display_name":"University of the Aegean","ror":"https://ror.org/03zsp3p94","country_code":"GR","type":"education","lineage":["https://openalex.org/I98805295"]}],"countries":["GR"],"is_corresponding":false,"raw_author_name":"Konstantinos Tsaprounis","raw_affiliation_strings":["Department of Mathematics, University of the Aegean , Karlovassi, Samos 83200, Greece"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics, University of the Aegean , Karlovassi, Samos 83200, Greece","institution_ids":["https://openalex.org/I98805295"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5079725039","display_name":"Yorgos Zikos","orcid":null},"institutions":[{"id":"https://openalex.org/I200777214","display_name":"National and Kapodistrian University of Athens","ror":"https://ror.org/04gnjpq42","country_code":"GR","type":"education","lineage":["https://openalex.org/I200777214"]}],"countries":["GR"],"is_corresponding":false,"raw_author_name":"Yorgos Zikos","raw_affiliation_strings":["Graduate Programme in Algorithms, Logic, & Discrete Mathematics , Department of Informatics & Telecommunications, National and Kapodistrian University of Athens, Athens 15784, Greece"],"affiliations":[{"raw_affiliation_string":"Graduate Programme in Algorithms, Logic, & Discrete Mathematics , Department of Informatics & Telecommunications, National and Kapodistrian University of Athens, Athens 15784, Greece","institution_ids":["https://openalex.org/I200777214"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5063130789"],"corresponding_institution_ids":["https://openalex.org/I2803079837"],"apc_list":{"value":4151,"currency":"USD","value_usd":4151},"apc_paid":null,"fwci":0.136,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.56348827,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":95},"biblio":{"volume":"31","issue":"1","first_page":"68","last_page":"95"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9997000098228455,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9997000098228455,"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.9976000189781189,"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/T11477","display_name":"Epistemology, Ethics, and Metaphysics","score":0.9775999784469604,"subfield":{"id":"https://openalex.org/subfields/1211","display_name":"Philosophy"},"field":{"id":"https://openalex.org/fields/12","display_name":"Arts and Humanities"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/ultrafilter","display_name":"Ultrafilter","score":0.6998398900032043},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5935892462730408},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.5901468396186829},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.5706736445426941},{"id":"https://openalex.org/keywords/filter","display_name":"Filter (signal processing)","score":0.5339787006378174},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5074900984764099},{"id":"https://openalex.org/keywords/sequence","display_name":"Sequence (biology)","score":0.4248011112213135},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4186978340148926},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3632742166519165},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.22509807348251343}],"concepts":[{"id":"https://openalex.org/C87598191","wikidata":"https://www.wikidata.org/wiki/Q1571831","display_name":"Ultrafilter","level":2,"score":0.6998398900032043},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5935892462730408},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5901468396186829},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.5706736445426941},{"id":"https://openalex.org/C106131492","wikidata":"https://www.wikidata.org/wiki/Q3072260","display_name":"Filter (signal processing)","level":2,"score":0.5339787006378174},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5074900984764099},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.4248011112213135},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4186978340148926},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3632742166519165},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.22509807348251343},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C31972630","wikidata":"https://www.wikidata.org/wiki/Q844240","display_name":"Computer vision","level":1,"score":0.0},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","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/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1093/jigpal/jzab030","is_oa":false,"landing_page_url":"https://doi.org/10.1093/jigpal/jzab030","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_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":"Logic Journal of the IGPL","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.7400000095367432,"display_name":"Reduced inequalities","id":"https://metadata.un.org/sdg/10"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":59,"referenced_works":["https://openalex.org/W2465950","https://openalex.org/W19122042","https://openalex.org/W390829290","https://openalex.org/W580107462","https://openalex.org/W1514489656","https://openalex.org/W1528947174","https://openalex.org/W1553920270","https://openalex.org/W1562455717","https://openalex.org/W1576771044","https://openalex.org/W1582706191","https://openalex.org/W1591825827","https://openalex.org/W1608084331","https://openalex.org/W1655669983","https://openalex.org/W1764709094","https://openalex.org/W1964307898","https://openalex.org/W1978629563","https://openalex.org/W2005447243","https://openalex.org/W2022485265","https://openalex.org/W2028342265","https://openalex.org/W2034428778","https://openalex.org/W2062539190","https://openalex.org/W2072291277","https://openalex.org/W2075459626","https://openalex.org/W2080142817","https://openalex.org/W2081202140","https://openalex.org/W2088690463","https://openalex.org/W2089822569","https://openalex.org/W2093397547","https://openalex.org/W2105505307","https://openalex.org/W2146563885","https://openalex.org/W2155322595","https://openalex.org/W2159753366","https://openalex.org/W2167907160","https://openalex.org/W2250434028","https://openalex.org/W2395206070","https://openalex.org/W2402349926","https://openalex.org/W2509227549","https://openalex.org/W2607171097","https://openalex.org/W2768154882","https://openalex.org/W2786830778","https://openalex.org/W2888076118","https://openalex.org/W2964176916","https://openalex.org/W2970786652","https://openalex.org/W3145992582","https://openalex.org/W3167495621","https://openalex.org/W4206552093","https://openalex.org/W4211036707","https://openalex.org/W4211144022","https://openalex.org/W4229971457","https://openalex.org/W4230936490","https://openalex.org/W4236297593","https://openalex.org/W4253296243","https://openalex.org/W4253577938","https://openalex.org/W6605583972","https://openalex.org/W6681361447","https://openalex.org/W6755801367","https://openalex.org/W6758095955","https://openalex.org/W6776599031","https://openalex.org/W6806547471"],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W1931954019","https://openalex.org/W2905066517","https://openalex.org/W3210268040","https://openalex.org/W2995393919","https://openalex.org/W4287991496","https://openalex.org/W2754905312","https://openalex.org/W2055538142","https://openalex.org/W1956764104","https://openalex.org/W4210813124"],"abstract_inverted_index":{"Abstract":[0],"Weak":[1,114],"filters":[2,93,192],"were":[3],"introduced":[4],"by":[5,243],"K.":[6],"Schlechta":[7],"in":[8,22,47,77,108,134,141,182],"the":[9,12,28,48,64,117,126,154,172],"\u201990s":[10],"with":[11,98,125],"aim":[13],"of":[14,31,38,41,56,63,68,91,119,129,146,153,157,208,216,223,231],"interpreting":[15],"defaults":[16],"via":[17],"a":[18,36,42,57,88,130,220,245],"generalized":[19],"\u2018most\u2019":[20],"quantifier":[21],"first-order":[23],"logic.":[24],"They":[25],"arguably":[26],"represent":[27],"largest":[29],"class":[30,215],"structures":[32],"that":[33,50,102,135,160,228],"qualify":[34],"as":[35,144],"\u2018collection":[37],"large":[39,147],"subsets\u2019":[40],"given":[43],"index":[44],"set":[45,110,226,235],"$I$,":[46],"sense":[49],"it":[51],"is":[52],"difficult":[53],"to":[54,174,202,225,234],"think":[55],"weaker,":[58],"but":[59],"still":[60],"plausible,":[61],"definition":[62],"concept.":[65],"The":[66,214],"notion":[67],"weak":[69,92,191,195,198,217],"ultrafilter":[70],"naturally":[71],"emerges":[72],"and":[73,80,94,112,133,186,193,210,238],"has":[74],"been":[75],"used":[76],"epistemic":[78],"logic":[79],"other":[81],"knowledge":[82],"representation":[83],"(KR)":[84],"applications.":[85],"We":[86,170],"provide":[87,203],"comprehensive":[89],"exposition":[90],"ultrafilters,":[95,199],"comparing":[96],"them":[97,162],"their":[99,142,212],"classical":[100,139,158,178],"counterparts":[101],"have":[103],"found":[104],"very":[105],"important":[106,177],"applications":[107],"logic,":[109],"theory":[111,122,227],"topology.":[113],"(ultra)filters":[115,140,159,218],"capture":[116],"\u2018majorities\u2019":[118],"social":[120],"choice":[121],"(which":[123],"coincide":[124],"commonsense":[127],"understanding":[128],"\u2018large":[131],"subset\u2019)":[132],"respect,":[136],"they":[137,150],"outperform":[138],"role":[143],"\u2018collections":[145],"subsets\u2019.":[148],"Yet,":[149],"lack":[151],"some":[152,176,232],"elegant":[155],"properties":[156],"make":[161],"an":[163],"almost":[164],"perfect":[165],"match":[166],"for":[167],"logical":[168],"theories.":[169],"investigate":[171],"extent":[173],"which":[175],"results":[179],"carry":[180],"through":[181],"this":[183,241],"new":[184],"setting,":[185],"we":[187,200,239],"focus":[188],"on":[189,247],"genuinely":[190,194],"ultrafilters.":[196],"For":[197],"proceed":[201],"concrete":[204],"examples,":[205],"answer":[206],"questions":[207],"existence":[209],"characterize":[211],"construction.":[213],"represents":[219],"genuine":[221],"contribution":[222],"KR":[224],"might":[229],"be":[230],"interest":[233],"theorists":[236],"too":[237],"initiate":[240],"study":[242],"providing":[244],"glimpse":[246],"natural":[248],"set-theoretic":[249],"questions.":[250]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}