{"id":"https://openalex.org/W4309834921","doi":"https://doi.org/10.1017/s175502032200034x","title":"GENERALIZED PARTIAL MEET AND KERNEL CONTRACTIONS","display_name":"GENERALIZED PARTIAL MEET AND KERNEL CONTRACTIONS","publication_year":2022,"publication_date":"2022-11-24","ids":{"openalex":"https://openalex.org/W4309834921","doi":"https://doi.org/10.1017/s175502032200034x"},"language":"en","primary_location":{"id":"doi:10.1017/s175502032200034x","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s175502032200034x","pdf_url":null,"source":{"id":"https://openalex.org/S24077076","display_name":"The Review of Symbolic Logic","issn_l":"1755-0203","issn":["1755-0203","1755-0211"],"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":"The Review 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/A5055275846","display_name":"Marco Garapa","orcid":"https://orcid.org/0000-0003-3697-1565"},"institutions":[{"id":"https://openalex.org/I58028834","display_name":"Universidade da Madeira","ror":"https://ror.org/0442zbe52","country_code":"PT","type":"education","lineage":["https://openalex.org/I58028834"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"MARCO GARAPA","raw_affiliation_strings":["FACULDADE DE CI\u00caNCIAS EXATAS E DA ENGENHARIA UNIVERSIDADE DA MADEIRA, CAMPUS UNIVERSIT\u00c1RIO DA PENTEADA 9020-105 FUNCHAL, PORTUGAL and CIMA\u2014CENTRO DE INVESTIGA\u00c7\u00c3O EM MATEM\u00c1TICA E APLICA\u00c7\u00d5ES \u00c9VORA, PORTUGAL E-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"FACULDADE DE CI\u00caNCIAS EXATAS E DA ENGENHARIA UNIVERSIDADE DA MADEIRA, CAMPUS UNIVERSIT\u00c1RIO DA PENTEADA 9020-105 FUNCHAL, PORTUGAL and CIMA\u2014CENTRO DE INVESTIGA\u00c7\u00c3O EM MATEM\u00c1TICA E APLICA\u00c7\u00d5ES \u00c9VORA, PORTUGAL E-mail:","institution_ids":["https://openalex.org/I58028834"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5026915937","display_name":"Maur\u00edcio D. L. Reis","orcid":"https://orcid.org/0000-0001-7437-8354"},"institutions":[{"id":"https://openalex.org/I58028834","display_name":"Universidade da Madeira","ror":"https://ror.org/0442zbe52","country_code":"PT","type":"education","lineage":["https://openalex.org/I58028834"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"MAUR\u00cdCIO D. L. REIS","raw_affiliation_strings":["FACULDADE DE CI\u00caNCIAS EXATAS E DA ENGENHARIA UNIVERSIDADE DA MADEIRA, CAMPUS UNIVERSIT\u00c1RIO DA PENTEADA 9020-105 FUNCHAL, PORTUGAL and CIMA\u2014CENTRO DE INVESTIGA\u00c7\u00c3O EM MATEM\u00c1TICA E APLICA\u00c7\u00d5ES \u00c9VORA, PORTUGAL E-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"FACULDADE DE CI\u00caNCIAS EXATAS E DA ENGENHARIA UNIVERSIDADE DA MADEIRA, CAMPUS UNIVERSIT\u00c1RIO DA PENTEADA 9020-105 FUNCHAL, PORTUGAL and CIMA\u2014CENTRO DE INVESTIGA\u00c7\u00c3O EM MATEM\u00c1TICA E APLICA\u00c7\u00d5ES \u00c9VORA, PORTUGAL E-mail:","institution_ids":["https://openalex.org/I58028834"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I58028834"],"apc_list":{"value":3550,"currency":"USD","value_usd":3550},"apc_paid":null,"fwci":0.1243,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.56932996,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"17","issue":"2","first_page":"366","last_page":"394"},"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/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.9835000038146973,"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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9797999858856201,"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/extensionality","display_name":"Extensionality","score":0.8761635422706604},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.7479497790336609},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6224449872970581},{"id":"https://openalex.org/keywords/extensional-definition","display_name":"Extensional definition","score":0.5868042707443237},{"id":"https://openalex.org/keywords/syntax","display_name":"Syntax","score":0.5598216652870178},{"id":"https://openalex.org/keywords/kernel","display_name":"Kernel (algebra)","score":0.5195363163948059},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.5109161734580994},{"id":"https://openalex.org/keywords/contraction","display_name":"Contraction (grammar)","score":0.5104097723960876},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.4712669849395752},{"id":"https://openalex.org/keywords/monotonic-function","display_name":"Monotonic function","score":0.4560321867465973},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.32040420174598694},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3185325860977173},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.23986104130744934},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.15523436665534973},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.0863141417503357},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.0659010112285614},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.05564910173416138}],"concepts":[{"id":"https://openalex.org/C150355047","wikidata":"https://www.wikidata.org/wiki/Q965432","display_name":"Extensionality","level":2,"score":0.8761635422706604},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.7479497790336609},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6224449872970581},{"id":"https://openalex.org/C136137745","wikidata":"https://www.wikidata.org/wiki/Q19515659","display_name":"Extensional definition","level":3,"score":0.5868042707443237},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.5598216652870178},{"id":"https://openalex.org/C74193536","wikidata":"https://www.wikidata.org/wiki/Q574844","display_name":"Kernel (algebra)","level":2,"score":0.5195363163948059},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5109161734580994},{"id":"https://openalex.org/C163415756","wikidata":"https://www.wikidata.org/wiki/Q126473","display_name":"Contraction (grammar)","level":2,"score":0.5104097723960876},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.4712669849395752},{"id":"https://openalex.org/C72169020","wikidata":"https://www.wikidata.org/wiki/Q194404","display_name":"Monotonic function","level":2,"score":0.4560321867465973},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.32040420174598694},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3185325860977173},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.23986104130744934},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.15523436665534973},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0863141417503357},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0659010112285614},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.05564910173416138},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"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/C77928131","wikidata":"https://www.wikidata.org/wiki/Q193343","display_name":"Tectonics","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1017/s175502032200034x","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s175502032200034x","pdf_url":null,"source":{"id":"https://openalex.org/S24077076","display_name":"The Review of Symbolic Logic","issn_l":"1755-0203","issn":["1755-0203","1755-0211"],"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":"The Review of Symbolic Logic","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","score":0.75,"display_name":"Reduced inequalities"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W39230753","https://openalex.org/W156961058","https://openalex.org/W1530415903","https://openalex.org/W1584332128","https://openalex.org/W2001755427","https://openalex.org/W2032245524","https://openalex.org/W2060533443","https://openalex.org/W2149420462","https://openalex.org/W2150018372","https://openalex.org/W2160579271","https://openalex.org/W2212826106","https://openalex.org/W2331720955","https://openalex.org/W2912182247","https://openalex.org/W2989585128","https://openalex.org/W4241442473"],"related_works":["https://openalex.org/W1559970946","https://openalex.org/W1973000567","https://openalex.org/W206478063","https://openalex.org/W2498166085","https://openalex.org/W1487998695","https://openalex.org/W4387560405","https://openalex.org/W2922343235","https://openalex.org/W2996400411","https://openalex.org/W4206575499","https://openalex.org/W2504487237"],"abstract_inverted_index":{"Abstract":[0],"Two":[1],"of":[2,26,32,41,51,54,69,72,81,84,89,92,98,105,127,134,146,154,156,162,164,173,183,188,210,213,223,230,241,244],"the":[3,30,39,49,67,87,96,103,125,132,139,169,181,186,193,208,218,221,227],"most":[4],"well-known":[5],"belief":[6,101,123,147,178,201],"contraction":[7,27,149],"operators":[8,231],"are":[9,114,205],"partial":[10,34,106,135,174,197],"meet":[11,35,107,136,175,198],"contractions":[12,16,36,44,99,176,199],"(PMCs)":[13],"and":[14,38,53,71,91,111,212,236,243],"kernel":[15,43],"(KCs).":[17],"In":[18,95],"this":[19,234],"paper":[20,235],"we":[21],"propose":[22],"two":[23],"new":[24,144,228],"classes":[25,50,83,88,104,209,229,240],"operators,":[28],"namely":[29,86],"class":[31,40,126,133],"generalized":[33,42],"(GPMC)":[37],"(GKC),":[45],"which":[46,74,166],"strictly":[47],"contain":[48],"PMCs":[52,242],"KCs,":[55],"respectively.":[56],"We":[57,216],"identify":[58],"some":[59,78],"extra":[60],"conditions":[61],"that":[62],"can":[63],"be":[64],"added":[65],"to":[66,77],"definitions":[68],"GPMCs":[70,110,113,129,141],"GKCs,":[73],"give":[75],"rise":[76],"interesting":[79],"subclasses":[80],"those":[82],"functions,":[85],"extensional":[90,112,140,211],"uniform":[93,109,128,214],"GPMCs/GKCs.":[94],"context":[97],"on":[100,122,200],"sets":[102],"contractions,":[108,137],"all":[115,226],"identical.":[116],"Nevertheless,":[117],"when":[118],"considered":[119],"as":[120],"operations":[121],"bases,":[124],"coincides":[130],"with":[131],"but":[138],"constitute":[142],"a":[143],"kind":[145],"base":[148],"functions":[150],"whose":[151],"characterizing":[152],"postulate":[153,161,182,190],"irrelevance":[155,163,187],"syntax":[157,165,189],"is":[158,185],"extensionality\u2014the":[159],"same":[160],"occurs":[167],"in":[168,192,220,233],"classical":[170],"axiomatic":[171,194],"characterization":[172,195],"for":[177,196],"sets\u2014rather":[179],"than":[180],"uniformity\u2014which":[184],"used":[191],"bases.":[202],"Analogous":[203],"results":[204],"obtained":[206],"regarding":[207],"GKCs.":[215],"present":[217],"interrelations":[219],"sense":[222],"inclusion":[224],"among":[225],"presented":[232],"several":[237],"well":[238],"known":[239],"KCs.":[245]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2023,"cited_by_count":1}],"updated_date":"2026-08-21T09:56:20.448147","created_date":"2025-10-10T00:00:00"}