{"id":"https://openalex.org/W4416937073","doi":"https://doi.org/10.1093/logcom/exaf065","title":"Logics of formal inconsistency and mathematical definability","display_name":"Logics of formal inconsistency and mathematical definability","publication_year":2025,"publication_date":"2025-11-04","ids":{"openalex":"https://openalex.org/W4416937073","doi":"https://doi.org/10.1093/logcom/exaf065"},"language":"en","primary_location":{"id":"doi:10.1093/logcom/exaf065","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exaf065","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"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":"Journal of Logic and Computation","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/A5081864881","display_name":"Bruno Ramos Mendon\u00e7a","orcid":"https://orcid.org/0000-0002-0583-4042"},"institutions":[{"id":"https://openalex.org/I3130004620","display_name":"Universidade Federal da Fronteira Sul","ror":"https://ror.org/03z9wm572","country_code":"BR","type":"education","lineage":["https://openalex.org/I3130004620"]}],"countries":["BR"],"is_corresponding":true,"raw_author_name":"Bruno Ramos Mendon\u00e7a","raw_affiliation_strings":["Federal University of Southern Border (UFFS/Brazil) , SC 484, Km 02, Chapec\u00f3, SC 89815-899 ,"],"affiliations":[{"raw_affiliation_string":"Federal University of Southern Border (UFFS/Brazil) , SC 484, Km 02, Chapec\u00f3, SC 89815-899 ,","institution_ids":["https://openalex.org/I3130004620"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5081864881"],"corresponding_institution_ids":["https://openalex.org/I3130004620"],"apc_list":{"value":4151,"currency":"USD","value_usd":4151},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.19956211,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"35","issue":"8","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.7039999961853027,"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"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.7039999961853027,"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.10130000114440918,"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/T10258","display_name":"Philosophy and Theoretical Science","score":0.04569999873638153,"subfield":{"id":"https://openalex.org/subfields/3205","display_name":"Experimental and Cognitive Psychology"},"field":{"id":"https://openalex.org/fields/32","display_name":"Psychology"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.5843999981880188},{"id":"https://openalex.org/keywords/paraconsistent-logic","display_name":"Paraconsistent logic","score":0.516700029373169},{"id":"https://openalex.org/keywords/classical-logic","display_name":"Classical logic","score":0.47609999775886536},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.45579999685287476},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.4415999948978424},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.43700000643730164},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.39100000262260437},{"id":"https://openalex.org/keywords/formal-system","display_name":"Formal system","score":0.3677999973297119},{"id":"https://openalex.org/keywords/logical-consequence","display_name":"Logical consequence","score":0.3481000065803528}],"concepts":[{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.5843999981880188},{"id":"https://openalex.org/C16796852","wikidata":"https://www.wikidata.org/wiki/Q426592","display_name":"Paraconsistent logic","level":4,"score":0.516700029373169},{"id":"https://openalex.org/C32241873","wikidata":"https://www.wikidata.org/wiki/Q236975","display_name":"Classical logic","level":2,"score":0.47609999775886536},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.45809999108314514},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.45579999685287476},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.4415999948978424},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.43700000643730164},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.41339999437332153},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.39100000262260437},{"id":"https://openalex.org/C102315432","wikidata":"https://www.wikidata.org/wiki/Q649732","display_name":"Formal system","level":2,"score":0.3677999973297119},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.34860000014305115},{"id":"https://openalex.org/C134752490","wikidata":"https://www.wikidata.org/wiki/Q374182","display_name":"Logical consequence","level":2,"score":0.3481000065803528},{"id":"https://openalex.org/C47030870","wikidata":"https://www.wikidata.org/wiki/Q467606","display_name":"Model theory","level":2,"score":0.31459999084472656},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.3061999976634979},{"id":"https://openalex.org/C136172866","wikidata":"https://www.wikidata.org/wiki/Q1088088","display_name":"Possible world","level":2,"score":0.3043000102043152},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.29809999465942383},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2971999943256378},{"id":"https://openalex.org/C86602344","wikidata":"https://www.wikidata.org/wiki/Q7667918","display_name":"T-norm fuzzy logics","level":5,"score":0.29670000076293945},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.296099990606308},{"id":"https://openalex.org/C128913409","wikidata":"https://www.wikidata.org/wiki/Q3566063","display_name":"Belief revision","level":2,"score":0.288100004196167},{"id":"https://openalex.org/C39095165","wikidata":"https://www.wikidata.org/wiki/Q7449101","display_name":"Semantic theory of truth","level":2,"score":0.28679999709129333},{"id":"https://openalex.org/C150355047","wikidata":"https://www.wikidata.org/wiki/Q965432","display_name":"Extensionality","level":2,"score":0.2865999937057495},{"id":"https://openalex.org/C2318724","wikidata":"https://www.wikidata.org/wiki/Q852732","display_name":"Proof theory","level":3,"score":0.2825999855995178},{"id":"https://openalex.org/C146499914","wikidata":"https://www.wikidata.org/wiki/Q5469969","display_name":"Formal semantics (linguistics)","level":2,"score":0.2759999930858612},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.274399995803833},{"id":"https://openalex.org/C19689857","wikidata":"https://www.wikidata.org/wiki/Q4055684","display_name":"Predicate logic","level":3,"score":0.2734000086784363},{"id":"https://openalex.org/C125773388","wikidata":"https://www.wikidata.org/wiki/Q792542","display_name":"Axiomatic system","level":3,"score":0.2694000005722046},{"id":"https://openalex.org/C20693621","wikidata":"https://www.wikidata.org/wiki/Q6667502","display_name":"Logical framework","level":2,"score":0.26829999685287476},{"id":"https://openalex.org/C74992188","wikidata":"https://www.wikidata.org/wiki/Q239179","display_name":"Non-classical logic","level":3,"score":0.2628999948501587},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.26159998774528503},{"id":"https://openalex.org/C65880906","wikidata":"https://www.wikidata.org/wiki/Q1771121","display_name":"Sequent calculus","level":3,"score":0.251800000667572}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1093/logcom/exaf065","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exaf065","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"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":"Journal of Logic and Computation","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G7069981469","display_name":null,"funder_award_id":"14/2022\u2014ARD/ARC\u201472212.751.70585.15022023","funder_id":"https://openalex.org/F4320322502","funder_display_name":"Funda\u00e7\u00e3o de Amparo \u00e0 Pesquisa do Estado do Rio Grande do Sul"}],"funders":[{"id":"https://openalex.org/F4320322502","display_name":"Funda\u00e7\u00e3o de Amparo \u00e0 Pesquisa do Estado do Rio Grande do Sul","ror":"https://ror.org/05k49za97"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":4,"referenced_works":["https://openalex.org/W1967451645","https://openalex.org/W2914403345","https://openalex.org/W4206779174","https://openalex.org/W4230936490"],"related_works":[],"abstract_inverted_index":{"Abstract":[0],"This":[1,48],"paper":[2],"revisits":[3],"the":[4,16,25,41,44,118,143],"model":[5],"theory":[6],"of":[7,9,29,43,81,106,111,117,145],"logics":[8],"formal":[10],"inconsistency.":[11],"I":[12,87],"investigate":[13],"how":[14],"adopting":[15],"minimal":[17],"system":[18],"QmbC":[19],"as":[20],"a":[21,33,52,78,125,140],"foundational":[22],"framework":[23],"affects":[24],"standard":[26],"logical":[27],"conditions":[28],"mathematical":[30,36],"definability.":[31],"In":[32,68],"classical":[34],"setting,":[35],"definability":[37,46,71],"is":[38,54,63,149],"tied":[39],"to":[40],"validity":[42],"Fra\u00efss\u00e9":[45,70],"property.":[47],"property":[49,72],"states":[50],"that":[51],"concept":[53],"first-order":[55],"definable":[56,147],"if,":[57,60],"and":[58,94,102,124],"only":[59,76],"its":[61],"satisfiability":[62],"preserved":[64],"under":[65],"partial":[66],"isomorphism.":[67],"QmbC,":[69],"fails.":[73],"Instead,":[74],"we":[75],"recover":[77],"weaker":[79],"version":[80],"this":[82],"theorem.":[83],"To":[84],"demonstrate":[85],"this,":[86],"elaborate":[88],"on":[89,121],"preliminary":[90],"results":[91],"from":[92],"Mendon\u00e7a":[93,103],"Carnielli":[95],"(2020,":[96],"Logic":[97],"J.":[98],"IGPL,":[99],"28,":[100],"10601072)":[101],"(Traditional":[104],"Theory":[105],"Semantic":[107],"Information":[108],"without":[109],"Scandal":[110],"Deduction:":[112],"A":[113],"Moderately":[114],"Externalist":[115],"Reassessment":[116],"Topic":[119],"Based":[120],"Urn":[122],"Semantics":[123],"Paraconsistent":[126],"Application.":[127],"PhD":[128],"Thesis.":[129],"Unicamp,":[130],"Brazil,":[131],"2018)":[132],".":[133],"The":[134],"present":[135],"findings":[136],"indicate":[137],"that,":[138],"in":[139],"paraconsistent":[141],"context,":[142],"universe":[144],"mathematically":[146],"notions":[148],"significantly":[150],"restricted.":[151]},"counts_by_year":[],"updated_date":"2026-04-09T08:11:56.329763","created_date":"2025-12-03T00:00:00"}