{"id":"https://openalex.org/W2791734279","doi":"https://doi.org/10.1080/11663081.2017.1420590","title":"A mereotopology based on sequent algebras","display_name":"A mereotopology based on sequent algebras","publication_year":2017,"publication_date":"2017-10-02","ids":{"openalex":"https://openalex.org/W2791734279","doi":"https://doi.org/10.1080/11663081.2017.1420590","mag":"2791734279"},"language":"en","primary_location":{"id":"doi:10.1080/11663081.2017.1420590","is_oa":false,"landing_page_url":"https://doi.org/10.1080/11663081.2017.1420590","pdf_url":null,"source":{"id":"https://openalex.org/S93822064","display_name":"Journal of Applied Non-Classical Logics","issn_l":"1166-3081","issn":["1166-3081","1958-5780"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Applied Non-Classical Logics","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/A5076246494","display_name":"Dimiter Vakarelov","orcid":null},"institutions":[{"id":"https://openalex.org/I4210105926","display_name":"Institute of Mathematics and Informatics","ror":"https://ror.org/01b5dy719","country_code":"BG","type":"facility","lineage":["https://openalex.org/I24768866","https://openalex.org/I4210105926"]},{"id":"https://openalex.org/I58918642","display_name":"Sofia University \"St. Kliment Ohridski\"","ror":"https://ror.org/02jv3k292","country_code":"BG","type":"education","lineage":["https://openalex.org/I58918642"]}],"countries":["BG"],"is_corresponding":true,"raw_author_name":"Dimiter Vakarelov","raw_affiliation_strings":["Faculty of Mathematics and Informatics, Department of Mathematical Logic, Sofia University, Sofia, Bulgaria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Mathematics and Informatics, Department of Mathematical Logic, Sofia University, Sofia, Bulgaria","institution_ids":["https://openalex.org/I4210105926","https://openalex.org/I58918642"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5076246494"],"corresponding_institution_ids":["https://openalex.org/I4210105926","https://openalex.org/I58918642"],"apc_list":null,"apc_paid":null,"fwci":0.5868,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.77033413,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"27","issue":"3-4","first_page":"342","last_page":"364"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9976000189781189,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9976000189781189,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.9959999918937683,"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.994700014591217,"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/relation-algebra","display_name":"Relation algebra","score":0.7153398990631104},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.684505820274353},{"id":"https://openalex.org/keywords/binary-relation","display_name":"Binary relation","score":0.6346328854560852},{"id":"https://openalex.org/keywords/mereology","display_name":"Mereology","score":0.5911164879798889},{"id":"https://openalex.org/keywords/relation","display_name":"Relation (database)","score":0.588708758354187},{"id":"https://openalex.org/keywords/social-connectedness","display_name":"Social connectedness","score":0.5627097487449646},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.5195672512054443},{"id":"https://openalex.org/keywords/universal-algebra","display_name":"Universal algebra","score":0.49399954080581665},{"id":"https://openalex.org/keywords/sequent","display_name":"Sequent","score":0.46784505248069763},{"id":"https://openalex.org/keywords/boolean-algebra","display_name":"Boolean algebra","score":0.46188491582870483},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.4333823323249817},{"id":"https://openalex.org/keywords/sequent-calculus","display_name":"Sequent calculus","score":0.41970276832580566},{"id":"https://openalex.org/keywords/algebraic-structure","display_name":"Algebraic structure","score":0.41282349824905396},{"id":"https://openalex.org/keywords/algebra-representation","display_name":"Algebra representation","score":0.3567177653312683},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.25690171122550964},{"id":"https://openalex.org/keywords/two-element-boolean-algebra","display_name":"Two-element Boolean algebra","score":0.2171918749809265},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.1865483522415161},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.15247103571891785}],"concepts":[{"id":"https://openalex.org/C10282146","wikidata":"https://www.wikidata.org/wiki/Q5965969","display_name":"Relation algebra","level":5,"score":0.7153398990631104},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.684505820274353},{"id":"https://openalex.org/C65180967","wikidata":"https://www.wikidata.org/wiki/Q130901","display_name":"Binary relation","level":2,"score":0.6346328854560852},{"id":"https://openalex.org/C152385842","wikidata":"https://www.wikidata.org/wiki/Q1194916","display_name":"Mereology","level":2,"score":0.5911164879798889},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.588708758354187},{"id":"https://openalex.org/C201943243","wikidata":"https://www.wikidata.org/wiki/Q7551008","display_name":"Social connectedness","level":2,"score":0.5627097487449646},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.5195672512054443},{"id":"https://openalex.org/C188971069","wikidata":"https://www.wikidata.org/wiki/Q1636734","display_name":"Universal algebra","level":3,"score":0.49399954080581665},{"id":"https://openalex.org/C89421646","wikidata":"https://www.wikidata.org/wiki/Q843632","display_name":"Sequent","level":2,"score":0.46784505248069763},{"id":"https://openalex.org/C39685927","wikidata":"https://www.wikidata.org/wiki/Q173183","display_name":"Boolean algebra","level":2,"score":0.46188491582870483},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.4333823323249817},{"id":"https://openalex.org/C65880906","wikidata":"https://www.wikidata.org/wiki/Q1771121","display_name":"Sequent calculus","level":3,"score":0.41970276832580566},{"id":"https://openalex.org/C182419690","wikidata":"https://www.wikidata.org/wiki/Q205464","display_name":"Algebraic structure","level":2,"score":0.41282349824905396},{"id":"https://openalex.org/C14394260","wikidata":"https://www.wikidata.org/wiki/Q4723980","display_name":"Algebra representation","level":3,"score":0.3567177653312683},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.25690171122550964},{"id":"https://openalex.org/C207764348","wikidata":"https://www.wikidata.org/wiki/Q7858706","display_name":"Two-element Boolean algebra","level":4,"score":0.2171918749809265},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.1865483522415161},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.15247103571891785},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0},{"id":"https://openalex.org/C542102704","wikidata":"https://www.wikidata.org/wiki/Q183257","display_name":"Psychotherapist","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1080/11663081.2017.1420590","is_oa":false,"landing_page_url":"https://doi.org/10.1080/11663081.2017.1420590","pdf_url":null,"source":{"id":"https://openalex.org/S93822064","display_name":"Journal of Applied Non-Classical Logics","issn_l":"1166-3081","issn":["1166-3081","1958-5780"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Applied Non-Classical Logics","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Reduced inequalities","score":0.6100000143051147,"id":"https://metadata.un.org/sdg/10"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W84056104","https://openalex.org/W117123704","https://openalex.org/W171834292","https://openalex.org/W217960503","https://openalex.org/W344132161","https://openalex.org/W1516279710","https://openalex.org/W1544564247","https://openalex.org/W1664281635","https://openalex.org/W2054275301","https://openalex.org/W2057923867","https://openalex.org/W2116509046","https://openalex.org/W2168057110","https://openalex.org/W2240909318","https://openalex.org/W2408063986","https://openalex.org/W2475355483","https://openalex.org/W2485416360","https://openalex.org/W2487864750","https://openalex.org/W3139934447","https://openalex.org/W4232683646","https://openalex.org/W4405648346"],"related_works":["https://openalex.org/W4253113110","https://openalex.org/W2096191306","https://openalex.org/W2280276996","https://openalex.org/W182117412","https://openalex.org/W1488351281","https://openalex.org/W2138973931","https://openalex.org/W4210342219","https://openalex.org/W4295728898","https://openalex.org/W93561518","https://openalex.org/W1819006997"],"abstract_inverted_index":{"Mereotopology":[0],"is":[1,19,26,53,139],"an":[2,145],"extension":[3],"of":[4,9,17,22,43,50,94,110,123,132,148,172],"mereology":[5],"with":[6,39,116],"some":[7,78,100,129],"relations":[8,61,67,81],"topological":[10,155],"nature":[11,184],"like":[12],"contact.":[13],"An":[14],"algebraic":[15,146],"counterpart":[16,147],"mereotopology":[18],"the":[20,48,92,114,154],"notion":[21],"contact":[23,44,51,111,115],"algebra":[24,29,52],"which":[25,82],"a":[27,40,108,117,126,149,175],"Boolean":[28],"whose":[30],"elements":[31],"are":[32,83],"considered":[33,143],"to":[34,56],"denote":[35],"spatial":[36,193],"regions,":[37],"extended":[38],"binary":[41,118],"relation":[42,93,119,182],"between":[45,120,167],"regions.":[46],"Although":[47],"language":[49],"quite":[54],"expressive":[55],"define":[57],"many":[58],"useful":[59],"mereological":[60],"(part-of,":[62],"overlap,":[63],"underlap)":[64],"and":[65,99,125,169],"mereotopological":[66,80],"(external":[68],"contact,":[69,96],"tangential":[70],"part-of,":[71,73],"non-tangential":[72],"self-connectedness),":[74],"there":[75],"are,":[76,89],"however,":[77],"interesting":[79],"not":[84],"definable":[85],"in":[86,162,183],"it.":[87],"Such":[88],"for":[90,158],"instance,":[91],"n-ary":[95],"internal":[97],"connectedness":[98],"others.":[101],"To":[102],"overcome":[103],"this":[104,163],"disadvantage,":[105],"we":[106,177],"introduce":[107],"generalisation":[109],"algebra,":[112,142],"replacing":[113],"finite":[121],"sets":[122],"regions":[124],"region,":[127],"satisfying":[128],"formal":[130],"properties":[131],"Tarski":[133,186],"consequence":[134,187],"relation.":[135],"The":[136],"obtained":[137],"system":[138],"called":[140],"sequent":[141,159],"as":[144],"new":[150],"mereotopology.":[151],"We":[152],"develop":[153],"representation":[156],"theory":[157],"algebras":[160],"showing":[161],"way":[164],"certain":[165,192],"correspondence":[166],"point-free":[168],"point-based":[170],"models":[171],"space.":[173],"As":[174],"by-product,":[176],"show":[178],"how":[179],"one":[180],"logical":[181],"notion,":[185],"relation,":[188],"may":[189],"have":[190],"also":[191],"(mereotopological)":[194],"meaning.":[195]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2}],"updated_date":"2026-07-29T09:40:50.615796","created_date":"2025-10-10T00:00:00"}