{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:52:03Z","timestamp":1762458723577},"reference-count":46,"publisher":"Cambridge University Press (CUP)","issue":"1","license":[{"start":{"date-parts":[[2009,3,1]],"date-time":"2009-03-01T00:00:00Z","timestamp":1235865600000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Rev. symb. logic"],"published-print":{"date-parts":[[2009,3]]},"abstract":"<jats:p><jats:italic>Relevance logics<\/jats:italic>are known to be sound and complete for relational semantics with a ternary accessibility relation. This paper investigates the problem of adequacy with respect to special kinds of<jats:italic>dynamic semantics<\/jats:italic>(i.e., proper relation algebras and relevant families of relations). We prove several<jats:italic>soundness<\/jats:italic>results here. We also prove the<jats:italic>completeness<\/jats:italic>of a certain positive fragment of<jats:italic>R<\/jats:italic>as well as of the first-degree fragment of relevance logics. These results show that some core ideas are shared between relevance logics and relation algebras. Some details of certain incompleteness results, however, pinpoint where relevance logics and relation algebras diverge. To carry out these semantic investigations, we define a<jats:italic>new tableaux<\/jats:italic>formalization and new<jats:italic>sequent calculi<\/jats:italic>(with the single cut rule admissible) for various relevance logics.<\/jats:p>","DOI":"10.1017\/s1755020309090145","type":"journal-article","created":{"date-parts":[[2009,5,28]],"date-time":"2009-05-28T08:30:51Z","timestamp":1243499451000},"page":"102-131","source":"Crossref","is-referenced-by-count":9,"title":["RELEVANCE LOGICS AND RELATION ALGEBRAS"],"prefix":"10.1017","volume":"2","author":[{"given":"KATALIN","family":"BIMB\u00d3","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. MICHAEL","family":"DUNN","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"ROGER D.","family":"MADDUX","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2009,3,1]]},"reference":[{"key":"S1755020309090145_ref45","volume-title":"Language in Action","author":"van Benthem","year":"1995"},{"key":"S1755020309090145_ref44","doi-asserted-by":"publisher","DOI":"10.1007\/BF01349560"},{"key":"S1755020309090145_ref43","doi-asserted-by":"publisher","DOI":"10.2307\/2274261"},{"key":"S1755020309090145_ref42","first-page":"345","article-title":"Relevant implication and projective geometry","volume":"104","author":"Urquhart","year":"1983","journal-title":"Logique et Analyse"},{"key":"S1755020309090145_ref41","volume-title":"A Formalization of Set Theory without Variables","volume":"41","author":"Tarski","year":"1987"},{"key":"S1755020309090145_ref40","doi-asserted-by":"publisher","DOI":"10.1016\/S1385-7258(55)50009-6"},{"key":"S1755020309090145_ref38","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-86718-7"},{"key":"S1755020309090145_ref36","volume-title":"Truth, Syntax and Modality. Proceedings of the Temple University Conference on Alternative Semantics","author":"Routley","year":"1973"},{"key":"S1755020309090145_ref35","doi-asserted-by":"publisher","DOI":"10.4324\/9780203252642"},{"key":"S1755020309090145_ref33","doi-asserted-by":"publisher","DOI":"10.1007\/BF02120493"},{"key":"S1755020309090145_ref32","doi-asserted-by":"publisher","DOI":"10.1007\/BF02123812"},{"key":"S1755020309090145_ref31","first-page":"280","volume-title":"The Blackwell Guide to Philosophical Logic. Blackwell Philosophy Guides","author":"Mares","year":"2001"},{"key":"S1755020309090145_ref30","first-page":"609","volume-title":"A Companion to Philosophical Logic","author":"Mares","year":"2002"},{"key":"S1755020309090145_ref29","first-page":"1","article-title":"Relevance logic and the calculus of relations [abstract]","author":"Maddux","year":"2007","journal-title":"International Conference on Order, Algebra and Logics, Vanderbilt University, June 13, 2007"},{"key":"S1755020309090145_ref27","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(95)00082-8"},{"key":"S1755020309090145_ref26","doi-asserted-by":"publisher","DOI":"10.2307\/1969375"},{"key":"S1755020309090145_ref23","doi-asserted-by":"publisher","DOI":"10.2307\/2372123"},{"key":"S1755020309090145_ref12","doi-asserted-by":"publisher","DOI":"10.2307\/2271149"},{"key":"S1755020309090145_ref34","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1307\/mmj\/1028999131","article-title":"On representable relation algebras","volume":"11","author":"Monk","year":"1964","journal-title":"Michigan Mathematics Journal"},{"key":"S1755020309090145_ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-5203-4_3"},{"key":"S1755020309090145_ref1","volume-title":"Entailment. The Logic of Relevance and Necessity","volume":"I","author":"Anderson","year":"1975"},{"key":"S1755020309090145_ref46","volume-title":"Exploring logical dynamics","author":"van Benthem","year":"1996"},{"key":"S1755020309090145_ref37","volume-title":"Relevant Logics and Their Rivals","volume":"I","author":"Routley","year":"1982"},{"key":"S1755020309090145_ref15","doi-asserted-by":"publisher","DOI":"10.1007\/BF00258076"},{"key":"S1755020309090145_ref28","volume-title":"Relation algebras","volume":"150","author":"Maddux","year":"2006"},{"key":"S1755020309090145_ref13","doi-asserted-by":"publisher","DOI":"10.1007\/BF00373152"},{"key":"S1755020309090145_ref5","first-page":"723","volume-title":"Handbook of the Philosophy of Science","volume":"5","author":"Bimb\u00f3","year":"2007"},{"key":"S1755020309090145_ref6","doi-asserted-by":"publisher","DOI":"10.1215\/00294527-2008-025"},{"key":"S1755020309090145_ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-010-0526-5_3"},{"key":"S1755020309090145_ref20","doi-asserted-by":"publisher","DOI":"10.1090\/conm\/156"},{"key":"S1755020309090145_ref24","doi-asserted-by":"publisher","DOI":"10.2307\/2372074"},{"key":"S1755020309090145_ref39","doi-asserted-by":"publisher","DOI":"10.2307\/2268577"},{"key":"S1755020309090145_ref8","volume-title":"Generalized Galois Logics. Relational Semantics of Nonclassical Logical Calculi","volume":"188","author":"Bimb\u00f3","year":"2008"},{"key":"S1755020309090145_ref14","doi-asserted-by":"publisher","DOI":"10.1007\/BF02120878"},{"key":"S1755020309090145_ref3","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-005-4651-y"},{"key":"S1755020309090145_ref10","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809088"},{"key":"S1755020309090145_ref7","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1134397663"},{"key":"S1755020309090145_ref9","volume-title":"Relevant Logics and Their Rivals. A Continuation of the Work of R. Sylvan, R. Meyer, V. Plumwood and R. Brady","volume":"II","author":"Brady","year":"2003"},{"key":"S1755020309090145_ref11","unstructured":"Dunn J. M . (1966). The algebra of intensional logics. PhD Thesis, University of Pittsburgh, Ann Arbor, MI (UMI)."},{"key":"S1755020309090145_ref2","volume-title":"Entailment. The Logic of Relevance and Necessity","volume":"II","author":"Anderson","year":"1992"},{"key":"S1755020309090145_ref16","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093870147"},{"key":"S1755020309090145_ref18","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1515\/9783110876802.3","volume-title":"Negation: A Notion in Focus","author":"Dunn","year":"1996"},{"key":"S1755020309090145_ref21","doi-asserted-by":"publisher","DOI":"10.2307\/1993545"},{"key":"S1755020309090145_ref22","first-page":"1192","article-title":"Representation problems for relation algebras","volume":"54","author":"J\u00f3nsson","year":"1948","journal-title":"Bulletin of the American Mathematical Society"},{"key":"S1755020309090145_ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-007-9048-0"},{"key":"S1755020309090145_ref25","first-page":"145","article-title":"Weakly associative relation algebras hold the key to the universe","volume":"36","author":"Kowalski","year":"2007","journal-title":"Bulletin of the Section of Logic"}],"container-title":["The Review of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1755020309090145","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,6]],"date-time":"2021-10-06T09:10:09Z","timestamp":1633511409000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1755020309090145\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,3]]},"references-count":46,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2009,3]]}},"alternative-id":["S1755020309090145"],"URL":"https:\/\/doi.org\/10.1017\/s1755020309090145","relation":{},"ISSN":["1755-0203","1755-0211"],"issn-type":[{"value":"1755-0203","type":"print"},{"value":"1755-0211","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,3]]}}}