{"id":"https://openalex.org/W4368318258","doi":"https://doi.org/10.1080/11663081.2023.2203312","title":"Fragments of quasi-Nelson: residuation","display_name":"Fragments of quasi-Nelson: residuation","publication_year":2023,"publication_date":"2023-01-02","ids":{"openalex":"https://openalex.org/W4368318258","doi":"https://doi.org/10.1080/11663081.2023.2203312"},"language":"en","primary_location":{"id":"doi:10.1080/11663081.2023.2203312","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1080/11663081.2023.2203312","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":true,"oa_status":"green","oa_url":"https://e-spacio.uned.es/bitstreams/797c448d-ac9a-44eb-847e-a3b4cb3236a3/download","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","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":"U. 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":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5008197317"],"corresponding_institution_ids":["https://openalex.org/I178450904"],"apc_list":null,"apc_paid":null,"fwci":0.346,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.60272238,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"33","issue":"1","first_page":"52","last_page":"119"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":1.0,"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":1.0,"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.9973000288009644,"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/T11567","display_name":"semigroups and automata theory","score":0.9934999942779541,"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/mathematics","display_name":"Mathematics","score":0.788635790348053},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.7136853933334351},{"id":"https://openalex.org/keywords/intuitionistic-logic","display_name":"Intuitionistic logic","score":0.5772475004196167},{"id":"https://openalex.org/keywords/substructural-logic","display_name":"Substructural logic","score":0.5643163323402405},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.5634560585021973},{"id":"https://openalex.org/keywords/negation","display_name":"Negation","score":0.5289965271949768},{"id":"https://openalex.org/keywords/algebraic-logic","display_name":"Algebraic logic","score":0.5241315960884094},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.5052207112312317},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.49031999707221985},{"id":"https://openalex.org/keywords/monoid","display_name":"Monoid","score":0.4845842123031616},{"id":"https://openalex.org/keywords/constructive","display_name":"Constructive","score":0.456584632396698},{"id":"https://openalex.org/keywords/conservative-extension","display_name":"Conservative extension","score":0.43113085627555847},{"id":"https://openalex.org/keywords/variety","display_name":"Variety (cybernetics)","score":0.4215676486492157},{"id":"https://openalex.org/keywords/intermediate-logic","display_name":"Intermediate logic","score":0.4078522324562073},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.3681061863899231},{"id":"https://openalex.org/keywords/linear-logic","display_name":"Linear logic","score":0.30563095211982727},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.2788618803024292},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.10311087965965271},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.07252511382102966}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.788635790348053},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.7136853933334351},{"id":"https://openalex.org/C178421362","wikidata":"https://www.wikidata.org/wiki/Q176786","display_name":"Intuitionistic logic","level":3,"score":0.5772475004196167},{"id":"https://openalex.org/C144760519","wikidata":"https://www.wikidata.org/wiki/Q839490","display_name":"Substructural logic","level":4,"score":0.5643163323402405},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.5634560585021973},{"id":"https://openalex.org/C2185349","wikidata":"https://www.wikidata.org/wiki/Q190558","display_name":"Negation","level":2,"score":0.5289965271949768},{"id":"https://openalex.org/C86523455","wikidata":"https://www.wikidata.org/wiki/Q1005222","display_name":"Algebraic logic","level":3,"score":0.5241315960884094},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.5052207112312317},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.49031999707221985},{"id":"https://openalex.org/C206901836","wikidata":"https://www.wikidata.org/wiki/Q208237","display_name":"Monoid","level":2,"score":0.4845842123031616},{"id":"https://openalex.org/C2778701210","wikidata":"https://www.wikidata.org/wiki/Q28130034","display_name":"Constructive","level":3,"score":0.456584632396698},{"id":"https://openalex.org/C2780432614","wikidata":"https://www.wikidata.org/wiki/Q864213","display_name":"Conservative extension","level":2,"score":0.43113085627555847},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.4215676486492157},{"id":"https://openalex.org/C33203268","wikidata":"https://www.wikidata.org/wiki/Q5361594","display_name":"Intermediate logic","level":3,"score":0.4078522324562073},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.3681061863899231},{"id":"https://openalex.org/C28077239","wikidata":"https://www.wikidata.org/wiki/Q841728","display_name":"Linear logic","level":2,"score":0.30563095211982727},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.2788618803024292},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.10311087965965271},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.07252511382102966},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"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/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","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}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1080/11663081.2023.2203312","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1080/11663081.2023.2203312","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"},{"id":"pmh:oai:e-spacio.uned.es:20.500.14468/30676","is_oa":true,"landing_page_url":"https://hdl.handle.net/20.500.14468/30676","pdf_url":"https://e-spacio.uned.es/bitstreams/797c448d-ac9a-44eb-847e-a3b4cb3236a3/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-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"journal article"},{"id":"pmh:oai:philarchive.org/rec/RIVFOQ-2","is_oa":true,"landing_page_url":"https://philarchive.org/rec/RIVFOQ-2","pdf_url":"https://philpapers.org/archive/RIVFOQ-2.pdf","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"},{"id":"pmh:oai:philpapers.org/rec/RIVFOQ-2","is_oa":false,"landing_page_url":"https://philpapers.org/rec/RIVFOQ-2","pdf_url":null,"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":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":"pmh:oai:e-spacio.uned.es:20.500.14468/30676","is_oa":true,"landing_page_url":"https://hdl.handle.net/20.500.14468/30676","pdf_url":"https://e-spacio.uned.es/bitstreams/797c448d-ac9a-44eb-847e-a3b4cb3236a3/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-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"journal article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320322930","display_name":"Ministerio de Ciencia e Innovaci\u00f3n","ror":"https://ror.org/034900433"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4368318258.pdf","grobid_xml":"https://content.openalex.org/works/W4368318258.grobid-xml"},"referenced_works_count":40,"referenced_works":["https://openalex.org/W1503075583","https://openalex.org/W1965682580","https://openalex.org/W1972451186","https://openalex.org/W1978201126","https://openalex.org/W1985294698","https://openalex.org/W1987794025","https://openalex.org/W1989030813","https://openalex.org/W2000140686","https://openalex.org/W2007838222","https://openalex.org/W2008228064","https://openalex.org/W2015741795","https://openalex.org/W2034642607","https://openalex.org/W2041418362","https://openalex.org/W2053168571","https://openalex.org/W2083174445","https://openalex.org/W2091158126","https://openalex.org/W2144447804","https://openalex.org/W2592837392","https://openalex.org/W2950832143","https://openalex.org/W2969981807","https://openalex.org/W2991124533","https://openalex.org/W3014113905","https://openalex.org/W3033536095","https://openalex.org/W3081703353","https://openalex.org/W3082972566","https://openalex.org/W3105252723","https://openalex.org/W3160119527","https://openalex.org/W3178092223","https://openalex.org/W3185436550","https://openalex.org/W3196497357","https://openalex.org/W3196604676","https://openalex.org/W4213176047","https://openalex.org/W4224056974","https://openalex.org/W4239011127","https://openalex.org/W4245674526","https://openalex.org/W4246761341","https://openalex.org/W4249471896","https://openalex.org/W4252113473","https://openalex.org/W4293176479","https://openalex.org/W6856116684"],"related_works":["https://openalex.org/W2170042182","https://openalex.org/W2396926180","https://openalex.org/W1566013760","https://openalex.org/W1784226744","https://openalex.org/W2112032727","https://openalex.org/W2166879872","https://openalex.org/W2982642134","https://openalex.org/W1968027005","https://openalex.org/W1965630431","https://openalex.org/W2117099199"],"abstract_inverted_index":{"Quasi-Nelson":[0],"logic":[1,12,16,78,146,194],"(QNL)":[2],"was":[3],"recently":[4],"introduced":[5],"as":[6,21,63,79],"a":[7,22,48,125,144,172,175],"common":[8],"generalisation":[9],"of":[10,30,50,67,82,91,101,103,109,159,188,192],"intuitionistic":[11,77],"and":[13,37,43,76,96,131,170,195],"Nelson's":[14,56,193],"constructive":[15],"with":[17,35],"strong":[18,134],"negation.":[19],"Viewed":[20],"substructural":[23,145],"logic,":[24,57],"QNL":[25,68,83],"is":[26,47],"the":[27,31,40,64,70,80,85,94,99,113,122,132,139,156,183,189],"axiomatic":[28,65],"extension":[29,66,81],"Full":[32],"Lambek":[33],"Calculus":[34],"Exchange":[36],"Weakening":[38],"by":[39,69,84,93],"Nelson":[41,135],"axiom,":[42,75],"its":[44],"algebraic":[45,197],"counterpart":[46],"variety":[49],"residuated":[51,126],"lattices":[52],"called":[53],"quasi-Nelson":[54,110],"algebras.":[55,111],"in":[58],"turn,":[59],"may":[60],"be":[61],"obtained":[62],"double":[71],"negation":[72],"(or":[73],"involutivity)":[74],"contraction":[86],"axiom.":[87],"A":[88],"recent":[89],"series":[90],"papers":[92],"author":[95],"collaborators":[97],"initiated":[98],"study":[100,166],"fragments":[102,119,191],"QNL,":[104],"which":[105],"correspond":[106],"to":[107,182],"subreducts":[108],"In":[112],"present":[114],"paper":[115],"we":[116],"focus":[117],"on":[118],"that":[120],"contain":[121],"connectives":[123],"forming":[124],"pair":[127],"(the":[128],"monoid":[129],"conjunction":[130],"so-called":[133],"implication),":[136],"these":[137],"being":[138],"most":[140],"interesting":[141],"ones":[142],"from":[143],"perspective.":[147],"We":[148],"provide":[149],"quasi-equational":[150],"(whenever":[151],"possible,":[152],"equational)":[153],"axiomatisations":[154],"for":[155,164],"corresponding":[157,190],"classes":[158],"algebras,":[160],"obtain":[161],"twist":[162],"representations":[163],"them,":[165],"their":[167,196],"congruence":[168],"properties":[169],"take":[171],"look":[173],"at":[174],"few":[176],"notable":[177],"subvarieties.":[178],"Our":[179],"results":[180],"specialise":[181],"involutive":[184],"case,":[185],"yielding":[186],"characterisations":[187],"counterparts.":[198]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1}],"updated_date":"2026-07-10T07:45:09.275182","created_date":"2025-10-10T00:00:00"}