{"id":"https://openalex.org/W3023237937","doi":"https://doi.org/10.1093/jigpal/jzaa015","title":"Nelson\u2019s logic \ud835\udcae","display_name":"Nelson\u2019s logic \ud835\udcae","publication_year":2020,"publication_date":"2020-03-06","ids":{"openalex":"https://openalex.org/W3023237937","doi":"https://doi.org/10.1093/jigpal/jzaa015","mag":"3023237937"},"language":"en","primary_location":{"id":"doi:10.1093/jigpal/jzaa015","is_oa":false,"landing_page_url":"https://doi.org/10.1093/jigpal/jzaa015","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/A5051693946","display_name":"Thiago Nascimento","orcid":"https://orcid.org/0000-0002-9288-8929"},"institutions":[{"id":"https://openalex.org/I35046152","display_name":"Universidade Federal do Rio Grande do Norte","ror":"https://ror.org/04wn09761","country_code":"BR","type":"education","lineage":["https://openalex.org/I35046152"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Thiago Nascimento","raw_affiliation_strings":["Programa de P\u00f3s-Gradua\u00e7\u00e3o em Sistemas e Computa\u00e7\u00e3o, Universidade Federal do Rio Grande do Norte, 59078-970 Natal, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Programa de P\u00f3s-Gradua\u00e7\u00e3o em Sistemas e Computa\u00e7\u00e3o, Universidade Federal do Rio Grande do Norte, 59078-970 Natal, Brazil","institution_ids":["https://openalex.org/I35046152"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5008197317","display_name":"Umberto Rivieccio","orcid":"https://orcid.org/0000-0003-1364-5003"},"institutions":[{"id":"https://openalex.org/I35046152","display_name":"Universidade Federal do Rio Grande do Norte","ror":"https://ror.org/04wn09761","country_code":"BR","type":"education","lineage":["https://openalex.org/I35046152"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Umberto Rivieccio","raw_affiliation_strings":["Departamento de Inform\u00e1tica e Matem\u00e1tica Aplicada, Universidade Federal do Rio Grande do Norte, 59078-970 Natal, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Departamento de Inform\u00e1tica e Matem\u00e1tica Aplicada, Universidade Federal do Rio Grande do Norte, 59078-970 Natal, Brazil","institution_ids":["https://openalex.org/I35046152"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5010971396","display_name":"Jo\u00e3o Marcos","orcid":"https://orcid.org/0000-0003-2601-8164"},"institutions":[{"id":"https://openalex.org/I35046152","display_name":"Universidade Federal do Rio Grande do Norte","ror":"https://ror.org/04wn09761","country_code":"BR","type":"education","lineage":["https://openalex.org/I35046152"]}],"countries":["BR"],"is_corresponding":true,"raw_author_name":"Jo\u00e3o Marcos","raw_affiliation_strings":["Programa de P\u00f3s-Gradua\u00e7\u00e3o em Sistemas e Computa\u00e7\u00e3o, Universidade Federal do Rio Grande do Norte, 59078-970 Natal, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Programa de P\u00f3s-Gradua\u00e7\u00e3o em Sistemas e Computa\u00e7\u00e3o, Universidade Federal do Rio Grande do Norte, 59078-970 Natal, Brazil","institution_ids":["https://openalex.org/I35046152"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5088984288","display_name":"Matthew Spinks","orcid":null},"institutions":[{"id":"https://openalex.org/I172446870","display_name":"University of Cagliari","ror":"https://ror.org/003109y17","country_code":"IT","type":"education","lineage":["https://openalex.org/I172446870"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Matthew Spinks","raw_affiliation_strings":["Dipartimento di Pedagogia, Psicologia, Filosofia, Universit\u00e0 di Cagliari, 09123 Cagliari, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartimento di Pedagogia, Psicologia, Filosofia, Universit\u00e0 di Cagliari, 09123 Cagliari, Italy","institution_ids":["https://openalex.org/I172446870"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5010971396"],"corresponding_institution_ids":["https://openalex.org/I35046152"],"apc_list":{"value":4151,"currency":"USD","value_usd":4151},"apc_paid":null,"fwci":0.4373,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.6829439,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"28","issue":"6","first_page":"1182","last_page":"1206"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9997000098228455,"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.9997000098228455,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9973999857902527,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9934999942779541,"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/realizability","display_name":"Realizability","score":0.8028583526611328},{"id":"https://openalex.org/keywords/algebraic-semantics","display_name":"Algebraic semantics","score":0.7564345598220825},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6175743341445923},{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.5733494758605957},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.4880029261112213},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.46743929386138916},{"id":"https://openalex.org/keywords/intuitionistic-logic","display_name":"Intuitionistic logic","score":0.45110878348350525},{"id":"https://openalex.org/keywords/many-valued-logic","display_name":"Many-valued logic","score":0.43949103355407715},{"id":"https://openalex.org/keywords/paraconsistent-logic","display_name":"Paraconsistent logic","score":0.4295289218425751},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.426669180393219},{"id":"https://openalex.org/keywords/intermediate-logic","display_name":"Intermediate logic","score":0.4232531487941742},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.38412538170814514},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.3494117856025696},{"id":"https://openalex.org/keywords/higher-order-logic","display_name":"Higher-order logic","score":0.2438509166240692},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.17538753151893616},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.13893136382102966},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.13320034742355347},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.07251438498497009}],"concepts":[{"id":"https://openalex.org/C2776378722","wikidata":"https://www.wikidata.org/wiki/Q3454417","display_name":"Realizability","level":2,"score":0.8028583526611328},{"id":"https://openalex.org/C2779729104","wikidata":"https://www.wikidata.org/wiki/Q4724013","display_name":"Algebraic semantics","level":3,"score":0.7564345598220825},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6175743341445923},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.5733494758605957},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.4880029261112213},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.46743929386138916},{"id":"https://openalex.org/C178421362","wikidata":"https://www.wikidata.org/wiki/Q176786","display_name":"Intuitionistic logic","level":3,"score":0.45110878348350525},{"id":"https://openalex.org/C150889026","wikidata":"https://www.wikidata.org/wiki/Q185502","display_name":"Many-valued logic","level":3,"score":0.43949103355407715},{"id":"https://openalex.org/C16796852","wikidata":"https://www.wikidata.org/wiki/Q426592","display_name":"Paraconsistent logic","level":4,"score":0.4295289218425751},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.426669180393219},{"id":"https://openalex.org/C33203268","wikidata":"https://www.wikidata.org/wiki/Q5361594","display_name":"Intermediate logic","level":3,"score":0.4232531487941742},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.38412538170814514},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3494117856025696},{"id":"https://openalex.org/C169896238","wikidata":"https://www.wikidata.org/wiki/Q1644136","display_name":"Higher-order logic","level":3,"score":0.2438509166240692},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.17538753151893616},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.13893136382102966},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.13320034742355347},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.07251438498497009},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"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/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1093/jigpal/jzaa015","is_oa":false,"landing_page_url":"https://doi.org/10.1093/jigpal/jzaa015","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":[],"awards":[{"id":"https://openalex.org/G237106584","display_name":null,"funder_award_id":"306860/2018-0","funder_id":"https://openalex.org/F4320322025","funder_display_name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico"},{"id":"https://openalex.org/G3227360101","display_name":null,"funder_award_id":"313643/2017-2","funder_id":"https://openalex.org/F4320322025","funder_display_name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico"}],"funders":[{"id":"https://openalex.org/F4320321091","display_name":"Coordena\u00e7\u00e3o de Aperfei\u00e7oamento de Pessoal de N\u00edvel Superior","ror":"https://ror.org/00x0ma614"},{"id":"https://openalex.org/F4320322025","display_name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico","ror":"https://ror.org/03swz6y49"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":38,"referenced_works":["https://openalex.org/W87187940","https://openalex.org/W1481470750","https://openalex.org/W1566552629","https://openalex.org/W1595640337","https://openalex.org/W1978201126","https://openalex.org/W1979275301","https://openalex.org/W1994792099","https://openalex.org/W2000140686","https://openalex.org/W2014085418","https://openalex.org/W2027816834","https://openalex.org/W2036321418","https://openalex.org/W2044300637","https://openalex.org/W2059938612","https://openalex.org/W2060852507","https://openalex.org/W2077242255","https://openalex.org/W2134600894","https://openalex.org/W2150425213","https://openalex.org/W2153536416","https://openalex.org/W2154114798","https://openalex.org/W2171167216","https://openalex.org/W2811391427","https://openalex.org/W2898664970","https://openalex.org/W2969981807","https://openalex.org/W2992320383","https://openalex.org/W3046397786","https://openalex.org/W4213007706","https://openalex.org/W4232798335","https://openalex.org/W4239011127","https://openalex.org/W4245674526","https://openalex.org/W4246761341","https://openalex.org/W4253234589","https://openalex.org/W4255255331","https://openalex.org/W4293176479","https://openalex.org/W6630179754","https://openalex.org/W6680039562","https://openalex.org/W6748832496","https://openalex.org/W6771066874","https://openalex.org/W6786073217"],"related_works":["https://openalex.org/W4234495366","https://openalex.org/W2057714618","https://openalex.org/W2075756851","https://openalex.org/W2914809917","https://openalex.org/W87187940","https://openalex.org/W2590661609","https://openalex.org/W1994030515","https://openalex.org/W3095583400","https://openalex.org/W3101283403","https://openalex.org/W2167626756"],"abstract_inverted_index":{"Abstract":[0],"Besides":[1],"the":[2,40,53,62,76,95,119,124],"better-known":[3],"Nelson":[4,9,15,127],"logic":[5,10,24,28],"($\\mathcal{N}3$)":[6],"and":[7,21,48,80,123,130],"paraconsistent":[8],"($\\mathcal{N}4$),":[11],"in":[12,75],"1959":[13],"David":[14],"introduced,":[16],"with":[17,43,82],"motivations":[18],"of":[19,35,65,78,87],"realizability":[20],"constructibility,":[22],"a":[23,36,85,105],"called":[25],"$\\mathcal{S}$.":[26],"The":[27],"$\\mathcal{S}$":[29,101,122],"was":[30],"originally":[31],"presented":[32],"by":[33],"means":[34],"calculus":[37,108],"(crucially":[38],"lacking":[39],"contraction":[41],"rule)":[42],"infinitely":[44],"many":[45],"rule":[46],"schemata":[47],"no":[49],"semantics":[50,99],"(other":[51],"than":[52],"intended":[54],"interpretation":[55],"into":[56],"Arithmetic).":[57],"We":[58,92],"look":[59],"here":[60],"at":[61],"propositional":[63],"fragment":[64],"$\\mathcal{S}$,":[66],"showing":[67],"that":[68],"it":[69],"is":[70],"algebraizable":[71],"(in":[72],"fact,":[73],"implicative),":[74],"sense":[77],"Blok":[79],"Pigozzi,":[81],"respect":[83],"to":[84,110,117],"variety":[86],"three-potent":[88],"involutive":[89],"residuated":[90],"lattices.":[91],"thus":[93],"introduce":[94],"first":[96],"known":[97],"algebraic":[98],"for":[100],"as":[102,104],"well":[103],"finite":[106],"Hilbert-style":[107],"equivalent":[109],"Nelson\u2019s":[111],"presentation;":[112],"this":[113],"also":[114],"allows":[115],"us":[116],"clarify":[118],"relation":[120],"between":[121],"other":[125],"two":[126],"logics":[128],"$\\mathcal{N}3$":[129],"$\\mathcal{N}4$.":[131]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2020-05-13T00:00:00"}