{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T13:29:08Z","timestamp":1777382948432,"version":"3.51.4"},"reference-count":14,"publisher":"Cambridge University Press (CUP)","issue":"2","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":8685,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[1990,6]]},"abstract":"<jats:p>In this work we describe a new approach to the notions of relevance and paraconsistency. Unlike the works of Anderson and Belnap or da Costa (see [2], [8] and [7]) we shall mainly be guided in it by semantical intuitions. In the first two sections we introduce and investigate the algebraic structures that reflect those intuitions. The corresponding formal systems are briefly described in the third section (a more detailed treatment of these systems, including full proofs, will be given in another paper).<\/jats:p><jats:p>Our basic intuitive idea is that of \u201cdomains of discourse\u201d or \u201crelevance domains\u201d. Classical logic, so we think, is valid in as much as sentences get values inside one domain; limitations on its use can be imposed only with respect to inferences in which more than one domain is involved. There are two basic binary relations over the collection of domains. One is relevance. It is reflexive and symmetric (but not necessarily transitive). Under a given interpretation two sentences are relevant to each other when their values are in relevant domains. Another basic relation between domains, no less important, is that of grading according to \u201cdegrees of reality\u201d. The idea behind it is not new. Gentzen, for example, divided in [9] the world of mathematics into three grades, representing three \u201clevels of reality\u201d. The elementary theory of numbers has the highest degree or level of reality; set theory has the smallest degree and mathematical analysis occupies the intermediate level. In the theory of types, or in the accumulative von Neumann universe for set theory, we can find indication of a richer hierarchy.<\/jats:p>","DOI":"10.2307\/2274660","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T22:35:29Z","timestamp":1146954929000},"page":"707-732","source":"Crossref","is-referenced-by-count":20,"title":["Relevance and paraconsistency\u2014a new approach"],"prefix":"10.1017","volume":"55","author":[{"given":"Arnon","family":"Avron","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200026104_ref014","first-page":"96","volume":"24","author":"Dummett","year":"1959","journal-title":"A prepositional calculus with denumerahle matrix"},{"key":"S0022481200026104_ref012","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093636612"},{"key":"S0022481200026104_ref007","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093891487"},{"key":"S0022481200026104_ref006","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093883393"},{"key":"S0022481200026104_ref005","volume-title":"Lattice theory","author":"Birkhoff","year":"1948"},{"key":"S0022481200026104_ref001","first-page":"113","volume":"21","author":"Ackermann","year":"1956","journal-title":"Begr\u00fcndung einer strengen Implikation"},{"key":"S0022481200026104_ref011","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093636610"},{"key":"S0022481200026104_ref013","first-page":"939","volume":"52","author":"Avron","year":"1987","journal-title":"A constructive analysis of RM"},{"key":"S0022481200026104_ref008","first-page":"1117","volume-title":"Handbook of philosophical logic","volume":"III","author":"Dunn","year":"1986"},{"key":"S0022481200026104_ref009","first-page":"223","volume-title":"The collected papers of Gerhard Gentzen","author":"Gentzen","year":"1969"},{"key":"S0022481200026104_ref002","volume-title":"Entailment: the logic of relevance and necessity","volume":"1","author":"Anderson","year":"1975"},{"key":"S0022481200026104_ref010","first-page":"55","volume-title":"Memoirs of the faculty of liberal arts, Fukui Umversity","author":"Sugihara","year":"1955"},{"key":"S0022481200026104_ref003","first-page":"1","volume-title":"Mathematical logic in Latin America","author":"Arruda","year":"1980"},{"key":"S0022481200026104_ref004","first-page":"334","volume":"49","author":"Avron","year":"1984","journal-title":"Relevant entailment\u2014semantics and formal systems"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200026104","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,18]],"date-time":"2019-05-18T21:14:13Z","timestamp":1558214053000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200026104\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,6]]},"references-count":14,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1990,6]]}},"alternative-id":["S0022481200026104"],"URL":"https:\/\/doi.org\/10.2307\/2274660","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[1990,6]]}}}