{"id":"https://openalex.org/W2656122292","doi":"https://doi.org/10.1093/jigpal/jzx009","title":"A paraconsistent route to semantic closure","display_name":"A paraconsistent route to semantic closure","publication_year":2017,"publication_date":"2017-04-27","ids":{"openalex":"https://openalex.org/W2656122292","doi":"https://doi.org/10.1093/jigpal/jzx009","mag":"2656122292"},"language":"en","primary_location":{"id":"doi:10.1093/jigpal/jzx009","is_oa":true,"landing_page_url":"https://doi.org/10.1093/jigpal/jzx009","pdf_url":"https://academic.oup.com/jigpal/article-pdf/25/4/387/19367630/jzx009.pdf","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":true,"oa_status":"bronze","oa_url":"https://academic.oup.com/jigpal/article-pdf/25/4/387/19367630/jzx009.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5013519895","display_name":"Eduardo Alejandro Barrio","orcid":"https://orcid.org/0000-0003-4819-2841"},"institutions":[{"id":"https://openalex.org/I4210113979","display_name":"Institute of Scientific and Technical Research for Defense","ror":"https://ror.org/0313pb684","country_code":"AR","type":"facility","lineage":["https://openalex.org/I4210113979"]},{"id":"https://openalex.org/I151201029","display_name":"Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas","ror":"https://ror.org/03cqe8w59","country_code":"AR","type":"funder","lineage":["https://openalex.org/I151201029","https://openalex.org/I4210123736","https://openalex.org/I4387155568"]}],"countries":["AR"],"is_corresponding":true,"raw_author_name":"Eduardo Alejandro Barrio","raw_affiliation_strings":["IIF-SADAF, National Scientific and Technical Research Council, Argentina; Department of Philosophy, University of Buenos Aires, Argentina","IIF-SADAF, National Scientific and Technical Research Council, Argentina","Department of Philosophy, University of Buenos Aires, Argentina"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IIF-SADAF, National Scientific and Technical Research Council, Argentina; Department of Philosophy, University of Buenos Aires, Argentina","institution_ids":[]},{"raw_affiliation_string":"IIF-SADAF, National Scientific and Technical Research Council, Argentina","institution_ids":["https://openalex.org/I4210113979","https://openalex.org/I151201029"]},{"raw_affiliation_string":"Department of Philosophy, University of Buenos Aires, Argentina","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065665331","display_name":"Federico Pailos","orcid":"https://orcid.org/0000-0001-9991-2760"},"institutions":[{"id":"https://openalex.org/I4210113979","display_name":"Institute of Scientific and Technical Research for Defense","ror":"https://ror.org/0313pb684","country_code":"AR","type":"facility","lineage":["https://openalex.org/I4210113979"]},{"id":"https://openalex.org/I151201029","display_name":"Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas","ror":"https://ror.org/03cqe8w59","country_code":"AR","type":"funder","lineage":["https://openalex.org/I151201029","https://openalex.org/I4210123736","https://openalex.org/I4387155568"]}],"countries":["AR"],"is_corresponding":true,"raw_author_name":"Federico Matias Pailos","raw_affiliation_strings":["IIF-SADAF, National Scientific and Technical Research Council, Argentina; Department of Philosophy, University of Buenos Aires, Argentina","Department of Philosophy, University of Buenos Aires, Argentina","IIF-SADAF, National Scientific and Technical Research Council, Argentina"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IIF-SADAF, National Scientific and Technical Research Council, Argentina; Department of Philosophy, University of Buenos Aires, Argentina","institution_ids":[]},{"raw_affiliation_string":"Department of Philosophy, University of Buenos Aires, Argentina","institution_ids":[]},{"raw_affiliation_string":"IIF-SADAF, National Scientific and Technical Research Council, Argentina","institution_ids":["https://openalex.org/I4210113979","https://openalex.org/I151201029"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5036416999","display_name":"Dami\u00e1n Szmuc","orcid":"https://orcid.org/0000-0002-7324-0908"},"institutions":[{"id":"https://openalex.org/I4210113979","display_name":"Institute of Scientific and Technical Research for Defense","ror":"https://ror.org/0313pb684","country_code":"AR","type":"facility","lineage":["https://openalex.org/I4210113979"]},{"id":"https://openalex.org/I151201029","display_name":"Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas","ror":"https://ror.org/03cqe8w59","country_code":"AR","type":"funder","lineage":["https://openalex.org/I151201029","https://openalex.org/I4210123736","https://openalex.org/I4387155568"]}],"countries":["AR"],"is_corresponding":true,"raw_author_name":"Damian Enrique Szmuc","raw_affiliation_strings":["IIF-SADAF, National Scientific and Technical Research Council, Argentina; Department of Philosophy, University of Buenos Aires, Argentina","IIF-SADAF, National Scientific and Technical Research Council, Argentina","Department of Philosophy, University of Buenos Aires, Argentina"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IIF-SADAF, National Scientific and Technical Research Council, Argentina; Department of Philosophy, University of Buenos Aires, Argentina","institution_ids":[]},{"raw_affiliation_string":"IIF-SADAF, National Scientific and Technical Research Council, Argentina","institution_ids":["https://openalex.org/I4210113979","https://openalex.org/I151201029"]},{"raw_affiliation_string":"Department of Philosophy, University of Buenos Aires, Argentina","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5013519895","https://openalex.org/A5036416999","https://openalex.org/A5065665331"],"corresponding_institution_ids":["https://openalex.org/I151201029","https://openalex.org/I4210113979"],"apc_list":{"value":4151,"currency":"USD","value_usd":4151},"apc_paid":null,"fwci":2.6304,"has_fulltext":true,"cited_by_count":23,"citation_normalized_percentile":{"value":0.9103888,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"25","issue":"4","first_page":"387","last_page":"407"},"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.9987999796867371,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9943000078201294,"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/closure","display_name":"Closure (psychology)","score":0.7348389029502869},{"id":"https://openalex.org/keywords/sequent","display_name":"Sequent","score":0.7101722955703735},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.6569533944129944},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.634788990020752},{"id":"https://openalex.org/keywords/paraconsistent-logic","display_name":"Paraconsistent logic","score":0.6089565753936768},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.5603080987930298},{"id":"https://openalex.org/keywords/semantic-theory-of-truth","display_name":"Semantic theory of truth","score":0.45188722014427185},{"id":"https://openalex.org/keywords/sequent-calculus","display_name":"Sequent calculus","score":0.44954460859298706},{"id":"https://openalex.org/keywords/semantic-property","display_name":"Semantic property","score":0.44059687852859497},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.4004155099391937},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.32327139377593994},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3067760467529297},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.26846301555633545},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.22345533967018127},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.22205385565757751},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.17991971969604492},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.139754056930542},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.10071250796318054},{"id":"https://openalex.org/keywords/law","display_name":"Law","score":0.05713331699371338}],"concepts":[{"id":"https://openalex.org/C146834321","wikidata":"https://www.wikidata.org/wiki/Q2979672","display_name":"Closure (psychology)","level":2,"score":0.7348389029502869},{"id":"https://openalex.org/C89421646","wikidata":"https://www.wikidata.org/wiki/Q843632","display_name":"Sequent","level":2,"score":0.7101722955703735},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.6569533944129944},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.634788990020752},{"id":"https://openalex.org/C16796852","wikidata":"https://www.wikidata.org/wiki/Q426592","display_name":"Paraconsistent logic","level":4,"score":0.6089565753936768},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.5603080987930298},{"id":"https://openalex.org/C39095165","wikidata":"https://www.wikidata.org/wiki/Q7449101","display_name":"Semantic theory of truth","level":2,"score":0.45188722014427185},{"id":"https://openalex.org/C65880906","wikidata":"https://www.wikidata.org/wiki/Q1771121","display_name":"Sequent calculus","level":3,"score":0.44954460859298706},{"id":"https://openalex.org/C198942812","wikidata":"https://www.wikidata.org/wiki/Q496618","display_name":"Semantic property","level":2,"score":0.44059687852859497},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.4004155099391937},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.32327139377593994},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3067760467529297},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.26846301555633545},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.22345533967018127},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.22205385565757751},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.17991971969604492},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.139754056930542},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.10071250796318054},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.05713331699371338},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"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/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.0},{"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}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1093/jigpal/jzx009","is_oa":true,"landing_page_url":"https://doi.org/10.1093/jigpal/jzx009","pdf_url":"https://academic.oup.com/jigpal/article-pdf/25/4/387/19367630/jzx009.pdf","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"},{"id":"pmh:oai:philpapers.org/rec/BARAPR-3","is_oa":true,"landing_page_url":"https://philpapers.org/rec/BARAPR-3","pdf_url":"https://philpapers.org/archive/BARAPR-3.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":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:philarchive.org/rec/BARAPR-3","is_oa":false,"landing_page_url":"https://philarchive.org/rec/BARAPR-3","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"},{"id":"pmh:oai:ri.conicet.gov.ar:11336/72852","is_oa":true,"landing_page_url":"http://hdl.handle.net/11336/72852","pdf_url":null,"source":{"id":"https://openalex.org/S4306402455","display_name":"CONICET Digital (CONICET)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210148385","host_organization_name":"Biomedicine Research Institute of Buenos Aires - CONICET - Partner Institute of the Max Planck Society","host_organization_lineage":["https://openalex.org/I4210148385"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-sa","license_id":"https://openalex.org/licenses/cc-by-nc-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1093/jigpal/jzx009","is_oa":true,"landing_page_url":"https://doi.org/10.1093/jigpal/jzx009","pdf_url":"https://academic.oup.com/jigpal/article-pdf/25/4/387/19367630/jzx009.pdf","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"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","score":0.5,"display_name":"Reduced inequalities"},{"id":"https://metadata.un.org/sdg/16","score":0.4300000071525574,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2656122292.pdf","grobid_xml":"https://content.openalex.org/works/W2656122292.grobid-xml"},"referenced_works_count":24,"referenced_works":["https://openalex.org/W46517763","https://openalex.org/W601500718","https://openalex.org/W656700481","https://openalex.org/W1481398220","https://openalex.org/W1560968687","https://openalex.org/W1578133078","https://openalex.org/W1989480670","https://openalex.org/W1996579835","https://openalex.org/W2024537851","https://openalex.org/W2041585656","https://openalex.org/W2060658047","https://openalex.org/W2066469518","https://openalex.org/W2083316690","https://openalex.org/W2086979258","https://openalex.org/W2090663022","https://openalex.org/W2133089137","https://openalex.org/W2138973931","https://openalex.org/W2142616542","https://openalex.org/W2150083035","https://openalex.org/W2161382787","https://openalex.org/W2331855851","https://openalex.org/W2493240959","https://openalex.org/W2548224919","https://openalex.org/W2606051756"],"related_works":["https://openalex.org/W2280276996","https://openalex.org/W4253113110","https://openalex.org/W182117412","https://openalex.org/W2096191306","https://openalex.org/W1488351281","https://openalex.org/W4210342219","https://openalex.org/W4295728898","https://openalex.org/W2560336053","https://openalex.org/W2504661205","https://openalex.org/W2078306994"],"abstract_inverted_index":{"In":[0],"this":[1,26,86],"article,":[2],"we":[3,53,76],"present":[4,77],"a":[5,16,32,46,68,78],"non-trivial":[6],"and":[7,75,80],"expressively":[8,87],"complete":[9,81],"paraconsistent":[10],"na\u00efve":[11],"theory":[12,63],"of":[13,40,64],"truth,":[14],"as":[15,43],"step":[17],"in":[18,60],"the":[19,41,58,62],"route":[20],"towards":[21],"semantic":[22],"closure.":[23],"We":[24],"achieve":[25],"goal":[27],"by":[28],"expressing":[29],"self-reference":[30],"with":[31],"weak":[33],"procedure,":[34,48],"that":[35,49],"uses":[36,50],"equivalences":[37],"between":[38],"expressions":[39],"language,":[42],"opposed":[44],"to":[45,72],"strong":[47],"identities.":[51],"Finally,":[52],"make":[54],"some":[55],"remarks":[56],"regarding":[57],"sense":[59],"which":[61],"truth":[65],"discussed":[66],"has":[67],"property":[69],"closely":[70],"related":[71],"functional":[73],"completeness,":[74],"sound":[79],"three-sided":[82],"sequent":[83],"calculus":[84],"for":[85],"rich":[88],"theory.":[89]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":5},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":10}],"updated_date":"2026-05-15T08:27:34.491423","created_date":"2025-10-10T00:00:00"}