{"id":"https://openalex.org/W4386781799","doi":"https://doi.org/10.1007/s11225-023-10065-2","title":"Intuitionistic Modal Algebras","display_name":"Intuitionistic Modal Algebras","publication_year":2023,"publication_date":"2023-09-15","ids":{"openalex":"https://openalex.org/W4386781799","doi":"https://doi.org/10.1007/s11225-023-10065-2"},"language":"en","primary_location":{"id":"doi:10.1007/s11225-023-10065-2","is_oa":true,"landing_page_url":"http://dx.doi.org/10.1007/s11225-023-10065-2","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11225-023-10065-2.pdf","source":{"id":"https://openalex.org/S30880287","display_name":"Studia Logica","issn_l":"0039-3215","issn":["0039-3215","1572-8730"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Studia Logica","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s11225-023-10065-2.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5076062079","display_name":"Sergio A. Celani","orcid":"https://orcid.org/0000-0003-2542-4128"},"institutions":[{"id":"https://openalex.org/I3130805194","display_name":"Universidad Nacional del Centro de la Provincia de Buenos Aires","ror":"https://ror.org/011gakh74","country_code":"AR","type":"education","lineage":["https://openalex.org/I3130805194"]}],"countries":["AR"],"is_corresponding":false,"raw_author_name":"Sergio A. Celani","raw_affiliation_strings":["Departamento de Matem\u00e1tica, Universidad Nacional del Centro de la Provincia de Buenos Aires, Tandil, Argentina"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Departamento de Matem\u00e1tica, Universidad Nacional del Centro de la Provincia de Buenos Aires, Tandil, Argentina","institution_ids":["https://openalex.org/I3130805194"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5008197317","display_name":"Umberto Rivieccio","orcid":"https://orcid.org/0000-0003-1364-5003"},"institutions":[{"id":"https://openalex.org/I178450904","display_name":"Universidad Nacional de Educaci\u00f3n a Distancia","ror":"https://ror.org/02msb5n36","country_code":"ES","type":"education","lineage":["https://openalex.org/I178450904"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"Umberto Rivieccio","raw_affiliation_strings":["Departamento de L\u00f3gica, Historia y Filosof\u00eda de la Ciencia, Universidad Nacional de Educaci\u00f3n a Distancia, Madrid, Spain"],"raw_orcid":"https://orcid.org/0000-0003-1364-5003","affiliations":[{"raw_affiliation_string":"Departamento de L\u00f3gica, Historia y Filosof\u00eda de la Ciencia, Universidad Nacional de Educaci\u00f3n a Distancia, Madrid, Spain","institution_ids":["https://openalex.org/I178450904"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5008197317"],"corresponding_institution_ids":["https://openalex.org/I178450904"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":{"value":2290,"currency":"EUR","value_usd":2890},"fwci":0.346,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.62920756,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":"112","issue":"3","first_page":"611","last_page":"660"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9998999834060669,"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.9998999834060669,"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.9988999962806702,"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/heyting-algebra","display_name":"Heyting algebra","score":0.8090842366218567},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6368505954742432},{"id":"https://openalex.org/keywords/distributive-property","display_name":"Distributive property","score":0.5649757981300354},{"id":"https://openalex.org/keywords/modal-operator","display_name":"Modal operator","score":0.5279870629310608},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.523607075214386},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.49651557207107544},{"id":"https://openalex.org/keywords/algebraic-structure","display_name":"Algebraic structure","score":0.4933754503726959},{"id":"https://openalex.org/keywords/variety","display_name":"Variety (cybernetics)","score":0.47932374477386475},{"id":"https://openalex.org/keywords/intuitionistic-logic","display_name":"Intuitionistic logic","score":0.46712806820869446},{"id":"https://openalex.org/keywords/duality","display_name":"Duality (order theory)","score":0.4654216468334198},{"id":"https://openalex.org/keywords/sheaf","display_name":"Sheaf","score":0.4424920380115509},{"id":"https://openalex.org/keywords/modal","display_name":"Modal","score":0.3823988437652588},{"id":"https://openalex.org/keywords/modal-logic","display_name":"Modal logic","score":0.3430538773536682},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.28113263845443726},{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.2547699809074402}],"concepts":[{"id":"https://openalex.org/C187062830","wikidata":"https://www.wikidata.org/wiki/Q1617044","display_name":"Heyting algebra","level":3,"score":0.8090842366218567},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6368505954742432},{"id":"https://openalex.org/C11821877","wikidata":"https://www.wikidata.org/wiki/Q187959","display_name":"Distributive property","level":2,"score":0.5649757981300354},{"id":"https://openalex.org/C78344899","wikidata":"https://www.wikidata.org/wiki/Q638442","display_name":"Modal operator","level":4,"score":0.5279870629310608},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.523607075214386},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.49651557207107544},{"id":"https://openalex.org/C182419690","wikidata":"https://www.wikidata.org/wiki/Q205464","display_name":"Algebraic structure","level":2,"score":0.4933754503726959},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.47932374477386475},{"id":"https://openalex.org/C178421362","wikidata":"https://www.wikidata.org/wiki/Q176786","display_name":"Intuitionistic logic","level":3,"score":0.46712806820869446},{"id":"https://openalex.org/C2778023678","wikidata":"https://www.wikidata.org/wiki/Q554403","display_name":"Duality (order theory)","level":2,"score":0.4654216468334198},{"id":"https://openalex.org/C4017995","wikidata":"https://www.wikidata.org/wiki/Q595298","display_name":"Sheaf","level":2,"score":0.4424920380115509},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.3823988437652588},{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.3430538773536682},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.28113263845443726},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.2547699809074402},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C188027245","wikidata":"https://www.wikidata.org/wiki/Q750446","display_name":"Polymer chemistry","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1007/s11225-023-10065-2","is_oa":true,"landing_page_url":"http://dx.doi.org/10.1007/s11225-023-10065-2","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11225-023-10065-2.pdf","source":{"id":"https://openalex.org/S30880287","display_name":"Studia Logica","issn_l":"0039-3215","issn":["0039-3215","1572-8730"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Studia Logica","raw_type":"journal-article"},{"id":"pmh:oai:e-spacio.uned.es:20.500.14468/23944","is_oa":true,"landing_page_url":"https://hdl.handle.net/20.500.14468/23944","pdf_url":"https://e-spacio.uned.es/bitstreams/c09bec1e-ea3b-4476-959d-2e9f1b76c6f1/download","source":{"id":"https://openalex.org/S7407055166","display_name":"UNED repository","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"journal article"},{"id":"pmh:oai:philpapers.org/rec/CELIMA","is_oa":true,"landing_page_url":"https://philpapers.org/rec/CELIMA","pdf_url":"https://philpapers.org/archive/CELIMA.pdf","source":{"id":"https://openalex.org/S4306402131","display_name":"PhilPapers (PhilPapers Foundation)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:philarchive.org/rec/CELIMA","is_oa":false,"landing_page_url":"https://philarchive.org/rec/CELIMA","pdf_url":null,"source":{"id":"https://openalex.org/S4306402130","display_name":"PhilPapers (PhilPapers Foundation)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1007/s11225-023-10065-2","is_oa":true,"landing_page_url":"http://dx.doi.org/10.1007/s11225-023-10065-2","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11225-023-10065-2.pdf","source":{"id":"https://openalex.org/S30880287","display_name":"Studia Logica","issn_l":"0039-3215","issn":["0039-3215","1572-8730"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Studia Logica","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G292364666","display_name":"Modalities in Substructural Logics: Theory, Methods and Applications","funder_award_id":"101007627","funder_id":"https://openalex.org/F4320338337","funder_display_name":"H2020 Marie Sk\u0142odowska-Curie Actions"},{"id":"https://openalex.org/G3659550347","display_name":null,"funder_award_id":"PICT2019-2019-00882","funder_id":"https://openalex.org/F4320334832","funder_display_name":"Agencia Nacional de Promoci\u00f3n Cient\u00edfica y Tecnol\u00f3gica"},{"id":"https://openalex.org/G3690828678","display_name":null,"funder_award_id":"PID2019","funder_id":"https://openalex.org/F4320322930","funder_display_name":"Ministerio de Ciencia e Innovaci\u00f3n"},{"id":"https://openalex.org/G5930409626","display_name":null,"funder_award_id":"PIP 11220200101301CO","funder_id":"https://openalex.org/F4320321594","funder_display_name":"Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas"},{"id":"https://openalex.org/G6930832244","display_name":"Modalities in Substructural Logics: Theory, Methods and Applications","funder_award_id":"101007627","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G7842005466","display_name":null,"funder_award_id":"Horizon 2020","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G8604411770","display_name":null,"funder_award_id":"PID2019-110843GA-I00","funder_id":"https://openalex.org/F4320322930","funder_display_name":"Ministerio de Ciencia e Innovaci\u00f3n"},{"id":"https://openalex.org/G8896607755","display_name":null,"funder_award_id":"11220200101301CO","funder_id":"https://openalex.org/F4320321594","funder_display_name":"Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320321594","display_name":"Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas","ror":"https://ror.org/03cqe8w59"},{"id":"https://openalex.org/F4320322930","display_name":"Ministerio de Ciencia e Innovaci\u00f3n","ror":"https://ror.org/034900433"},{"id":"https://openalex.org/F4320334832","display_name":"Agencia Nacional de Promoci\u00f3n Cient\u00edfica y Tecnol\u00f3gica","ror":"https://ror.org/03stxzb56"},{"id":"https://openalex.org/F4320338337","display_name":"H2020 Marie Sk\u0142odowska-Curie Actions","ror":null}],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4386781799.pdf"},"referenced_works_count":25,"referenced_works":["https://openalex.org/W1982832889","https://openalex.org/W2023132547","https://openalex.org/W2034642607","https://openalex.org/W2038344232","https://openalex.org/W2045286374","https://openalex.org/W2053168571","https://openalex.org/W2059188946","https://openalex.org/W2060027303","https://openalex.org/W2065642116","https://openalex.org/W2070878538","https://openalex.org/W2089733758","https://openalex.org/W2096659378","https://openalex.org/W2142594371","https://openalex.org/W2592837392","https://openalex.org/W2943746135","https://openalex.org/W2991124533","https://openalex.org/W3014113905","https://openalex.org/W3035511849","https://openalex.org/W3105252723","https://openalex.org/W3114454472","https://openalex.org/W3160119527","https://openalex.org/W3178092223","https://openalex.org/W3196497357","https://openalex.org/W4245674526","https://openalex.org/W4368318258"],"related_works":["https://openalex.org/W2074934605","https://openalex.org/W2771140321","https://openalex.org/W1972088297","https://openalex.org/W2127286919","https://openalex.org/W2089733758","https://openalex.org/W4388853756","https://openalex.org/W4390508606","https://openalex.org/W2964327688","https://openalex.org/W4287785519","https://openalex.org/W3021034657"],"abstract_inverted_index":{"Abstract":[0],"Recent":[1],"research":[2],"on":[3],"algebraic":[4,44,86],"models":[5],"of":[6,16,18,70,88,106,136,144,148],"quasi-Nelson":[7],"logic":[8],"has":[9],"brought":[10],"new":[11,146],"attention":[12],"to":[13],"a":[14,29,38,120,129,152,155,168],"number":[15],"classes":[17,147],"algebras":[19,27,55,149,165],"which":[20,47,93,126,158],"result":[21],"from":[22,85],"enriching":[23],"(subreducts":[24],"of)":[25],"Heyting":[26,164],"with":[28,119,167],"special":[30],"modal":[31,54,91],"operator,":[32],"known":[33,161],"in":[34],"the":[35,50,64,68,89,104,134,160],"literature":[36],"as":[37],"nucleus":[39,121],".":[40],"Among":[41],"these":[42,145],"various":[43],"structures,":[45],"for":[46,80,101,163],"we":[48,150],"employ":[49],"umbrella":[51],"term":[52],"intuitionistic":[53,90],",":[56,110],"some":[57],"have":[58,94],"been":[59,96],"studied":[60],"since":[61],"at":[62],"least":[63],"1970s,":[65],"usually":[66],"within":[67],"framework":[69],"topology":[71],"and":[72,122,138,154],"sheaf":[73],"theory.":[74],"Others":[75],"may":[76],"seem":[77],"more":[78],"exotic,":[79],"their":[81],"primitive":[82],"operations":[83],"arise":[84],"terms":[87],"language":[92],"not":[95,128],"previously":[97],"considered.":[98],"We":[99],"shall":[100],"instance":[102],"investigate":[103],"variety":[105],"weak":[107],"implicative":[108],"semilattices":[109,117],"whose":[111],"members":[112],"are":[113],"(non-necessarily":[114],"distributive)":[115],"meet":[116],"endowed":[118],"an":[123],"implication":[124],"operation":[125],"is":[127],"relative":[130],"pseudo-complement":[131],"but":[132],"satisfies":[133],"postulates":[135],"Celani":[137],"Jansana\u2019s":[139],"strict":[140],"implication.":[141],"For":[142],"each":[143],"establish":[151],"representation":[153],"topological":[156],"duality":[157],"generalize":[159],"ones":[162],"enriched":[166],"nucleus.":[169]},"counts_by_year":[{"year":2024,"cited_by_count":2}],"updated_date":"2026-07-10T07:45:09.275182","created_date":"2025-10-10T00:00:00"}