{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,4]],"date-time":"2026-05-04T10:55:32Z","timestamp":1777892132260,"version":"3.51.4"},"reference-count":14,"publisher":"Oxford University Press (OUP)","issue":"5","license":[{"start":{"date-parts":[[2018,11,29]],"date-time":"2018-11-29T00:00:00Z","timestamp":1543449600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/academic.oup.com\/journals\/pages\/open_access\/funder_policies\/chorus\/standard_publication_model"}],"funder":[{"DOI":"10.13039\/501100003593","name":"National Council for Scientific and Technological Development","doi-asserted-by":"publisher","award":["870396\/1997"],"award-info":[{"award-number":["870396\/1997"]}],"id":[{"id":"10.13039\/501100003593","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,9,25]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>We prove that the minimal Logic of Formal Inconsistency (LFI) $\\mathsf{QmbC}$ (basic quantified logic of formal inconsistency) validates a weaker version of Fra\u00efss\u00e9\u2019s theorem (FT). LFIs are paraconsistent logics that relativize the Principle of Explosion only to consistent formulas. Now, despite the recent interest in LFIs, their model-theoretic properties are still not fully understood. Our aim in this paper is to investigate the situation. Our interest in FT has to do with its fruitfulness; the preservation of FT indicates that a number of other classical semantic properties can be also salvaged in LFIs. Further, given that FT depends on truth-functionality (a property that, in general, fails in LFIs), whether full FT holds for $\\mathsf{QmbC}$ becomes a challenging question.<\/jats:p>","DOI":"10.1093\/jigpal\/jzy073","type":"journal-article","created":{"date-parts":[[2018,10,17]],"date-time":"2018-10-17T22:04:09Z","timestamp":1539813849000},"page":"1060-1072","source":"Crossref","is-referenced-by-count":2,"title":["Fra\u00efss\u00e9\u2019s theorem for logics of formal inconsistency"],"prefix":"10.1093","volume":"28","author":[{"given":"Bruno R","family":"Mendon\u00e7a","sequence":"first","affiliation":[{"name":"Centre for Logic, Epistemology and the History of Science, R. S\u00e9rgio Buarque de Holanda, 251, Cidade Universit\u00e1ria, Campinas, Brazil"}]},{"given":"Walter A","family":"Carnielli","sequence":"additional","affiliation":[{"name":"Centre for Logic, Epistemology and the History of Science, R. S\u00e9rgio Buarque de Holanda, 251, Cidade Universit\u00e1ria, Campinas, Brazil"}]}],"member":"286","published-online":{"date-parts":[[2018,11,29]]},"reference":[{"key":"2020092508544535100_ref1","first-page":"87","article-title":"Models & proofs: LFIs without a canonical interpretation","volume-title":"Principia: an international journal of epistemology","author":"Barrio","year":"2018"},{"key":"2020092508544535100_ref2","volume-title":"Paraconsistent Logic: Consistency, Contradiction and Negation","author":"Carnielli","year":"2016"},{"key":"2020092508544535100_ref3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1201\/9780203910139.pt1","article-title":"A taxonomy of C-systems","volume-title":"Paraconsistency: The Logical Way to the Inconsistent. Proceedings of the 2nd World Congress on Paraconsistency (WCP 2000)","author":"Carnielli","year":"2002"},{"key":"2020092508544535100_ref4","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1590\/0100-6045.2015.V38N2.WCeAR","article-title":"Towards a philosophical understanding of the logics of formal inconsistency","volume":"38","author":"Carnielli","year":"2015","journal-title":"Manuscrito"},{"key":"2020092508544535100_ref5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-1-4020-6324-4_1","article-title":"Logics of formal inconsistency","volume-title":"Handbook of Philosophical Logic","author":"Carnielli","year":"2007"},{"key":"2020092508544535100_ref6","doi-asserted-by":"crossref","first-page":"548","DOI":"10.1017\/S1755020314000148","article-title":"On the way to a wider model theory: completeness theorems for first-order logics of formal inconsistency","volume":"7","author":"Carnielli","year":"2014","journal-title":"The Review of Symbolic Logic"},{"key":"2020092508544535100_ref7","first-page":"25","article-title":"Chapter II: extended logics: the general framework","volume-title":"Model-Theoretic Logics","author":"Ebbinghaus","year":"1985"},{"key":"2020092508544535100_ref8","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1007\/s11787-015-0126-8","article-title":"First order logic and first order functions","volume":"9","author":"Freire","year":"2015","journal-title":"Logica Universalis"},{"key":"2020092508544535100_ref9","first-page":"267","article-title":"Distributive normal forms in first-order logic","volume":"31","author":"Hintikka","year":"1966","journal-title":"Journal of Symbolic Logic"},{"key":"2020092508544535100_ref10","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1007\/978-94-010-3296-4_8","article-title":"Surface information and depth information","volume-title":"Information and Inference","author":"Hintikka","year":"1970"},{"key":"2020092508544535100_ref11","volume-title":"A Shorter Model Theory","author":"Hodges","year":"1997"},{"key":"2020092508544535100_ref12","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1007\/978-94-009-3763-5_2","article-title":"Constituents","volume-title":"Jaakko Hintikka","author":"Rantala","year":"1987"},{"key":"2020092508544535100_ref13","volume-title":"Mathematical Logic","author":"Shoenfield","year":"1967"},{"key":"2020092508544535100_ref14","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1007\/BF01048355","article-title":"Paraconsistent logics?","volume":"24","author":"Slater","year":"1995","journal-title":"Journal of Philosophical Logic"}],"container-title":["Logic Journal of the IGPL"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/jigpal\/article-pdf\/28\/5\/1060\/33791983\/jzy073.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"http:\/\/academic.oup.com\/jigpal\/article-pdf\/28\/5\/1060\/33791983\/jzy073.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,25]],"date-time":"2020-09-25T12:56:24Z","timestamp":1601038584000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/jigpal\/article\/28\/5\/1060\/5214033"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,11,29]]},"references-count":14,"journal-issue":{"issue":"5","published-online":{"date-parts":[[2018,11,29]]},"published-print":{"date-parts":[[2020,9,25]]}},"URL":"https:\/\/doi.org\/10.1093\/jigpal\/jzy073","relation":{},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"value":"1367-0751","type":"print"},{"value":"1368-9894","type":"electronic"}],"subject":[],"published-other":{"date-parts":[[2020,10]]},"published":{"date-parts":[[2018,11,29]]}}}