{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T08:47:23Z","timestamp":1743065243216,"version":"3.40.3"},"publisher-location":"Cham","reference-count":40,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319060248"},{"type":"electronic","value":"9783319060255"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-06025-5_34","type":"book-chapter","created":{"date-parts":[[2014,8,26]],"date-time":"2014-08-26T12:47:27Z","timestamp":1409057247000},"page":"881-894","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Arrows Pointing at Arrows: Arrow Logic, Relevance Logic, and Relation Algebras"],"prefix":"10.1007","author":[{"given":"J. Michael","family":"Dunn","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,8,27]]},"reference":[{"key":"34_CR1","unstructured":"Barwise J (1993) In: Aczel P, Israel D, Peters S (eds) Constraints, channels, and the flow of information, Situation theory and its applications, CSLI Publications (CSLI Lecture Notes 37), Stanford, CA, pp 3\u201327"},{"key":"34_CR2","doi-asserted-by":"crossref","unstructured":"Beall JC, Brady R, Dunn JM, Hazen AP, Mares E, Meyer RK, Priest G, Restall G, Ripley R, Slaney J, Sylvan R (formerly Routley) (2012) On the ternary relation and conditionality. J Philos Logic 41:595\u2013612","DOI":"10.1007\/s10992-011-9191-5"},{"key":"34_CR3","doi-asserted-by":"crossref","unstructured":"van Benthem J (1984) Review of \u2018on when a semantics is not a semantics\u2019 by Copeland BJ. J Symbolic Logic 49:994\u2013995","DOI":"10.2307\/2274161"},{"key":"34_CR4","doi-asserted-by":"crossref","unstructured":"van Benthem J (1991) Language in action: categories. Lambdas and Dynamic Logic, North Holland, Amsterdam","DOI":"10.1007\/BF00250539"},{"key":"34_CR5","volume-title":"Logic and information flow","author":"J van Benthem","year":"1994","unstructured":"van Benthem J (1994) A note on dynamic arrow logic. In: van Eijck J, Visser A (eds) Logic and information flow. The MIT Press, Cambridge"},{"key":"34_CR6","unstructured":"van Benthem J (1996) Exploring logical dynamics. The European association for logic, language and information. CSLI Publications and FoLLI, Stanford, CA"},{"key":"34_CR7","doi-asserted-by":"crossref","unstructured":"Bimb\u00f3 K, Dunn JM (2005) Relational semantics for Kleene logic and action logic. Notre Dame Journal of Formal Logic 46:461\u2013490","DOI":"10.1305\/ndjfl\/1134397663"},{"key":"34_CR8","unstructured":"Bimb\u00f3 K, Dunn JM (2008) Generalized Galois logics. Relational semantics of nonclassical logical calculi. CSLI Publications (CSLI Lecture, Notes, no. 188), Stanford, CA"},{"key":"34_CR9","doi-asserted-by":"crossref","unstructured":"Bimb\u00f3 K, Dunn JM, Maddux R (2009) Relevance logic and relational algebras. The review of symbolic logic, vol 2, pp 102\u2013131","DOI":"10.1017\/S1755020309090145"},{"key":"34_CR10","doi-asserted-by":"crossref","unstructured":"Copeland BJ (1979) On when a semantics is not a semantics: some reasons for disliking the Routley-Meyer semantics for relevance logic. J Philos Logic 8:399\u2013413","DOI":"10.1007\/BF00258440"},{"key":"34_CR11","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1023\/A:1015273407895","volume":"31","author":"BJ Copeland","year":"2002","unstructured":"Copeland BJ (2002) The genesis of possible world semantics. J Philos Logic 31:99\u2013137","journal-title":"J Philos Logic"},{"key":"34_CR12","unstructured":"Dunn JM (1985) Relevance logic and entailment. In: Gabbay D, Guenthner F, Reidel D (eds) Handbook of philosophical logic, vol 3, 1stedn. Kluwer Academic Publishers, Dordrecht, Holland, pp 117\u2013224. Updated with joint author Restall G (2002) Relevance logic. In: Gabbay D, Guenthner F (eds) Handbook of philosophical logic, vol 6, 2nd edn. Kluwer Academic Publishers, Dordrecht, pp 1\u2013128"},{"key":"34_CR13","doi-asserted-by":"crossref","unstructured":"Dunn JM (1990) Gaggle theory: an abstraction of Galois connections and residuation with applications to negation and various logical operators, In: Logics in AI, Proceedings of European workshop JELIA 1990. Lecture Notes in Computer Science, no. 478. Springer, Berlin, pp 31\u201351","DOI":"10.1007\/BFb0018431"},{"key":"34_CR14","doi-asserted-by":"crossref","unstructured":"Dunn JM (1993) Representation of relation algebras using Routley-Meyer frames, version of Dunn (2001). Informally published in Indiana University logic group preprint series, IULG-93-28","DOI":"10.1007\/978-94-010-0526-5_3"},{"key":"34_CR15","doi-asserted-by":"crossref","unstructured":"Dunn JM (2001a) Representation of relation algebras using Routley-Meyer frames. In: Anderson CA, Zel\u00ebny M (eds) Logic, meaning and computation: essays in memory of Alonzo Church. Kluwer, Dordrecht, pp 77\u2013108 (Informally published as Dunn (1993))","DOI":"10.1007\/978-94-010-0526-5_3"},{"key":"34_CR16","unstructured":"Dunn JM (2001b) Ternary relational semantics and beyond. Logical Studies 7:1\u201320"},{"key":"34_CR17","doi-asserted-by":"publisher","first-page":"505","DOI":"10.1093\/jigpal\/5.4.505","volume":"5","author":"JM Dunn","year":"1997","unstructured":"Dunn JM, Meyer RK (1997) Combinators and structurally free logic. Logic J IGPL 5:505\u2013537","journal-title":"Logic J IGPL"},{"key":"34_CR18","doi-asserted-by":"crossref","unstructured":"Goldblatt R (2006) Mathematical modal logic: a view of its evolution. In: Gabbay D, Woods J (eds) Handbook of the history of logic, vol 6. Elsevier, Amsterdam, pp 1\u201398","DOI":"10.1016\/S1874-5857(06)80027-0"},{"key":"34_CR19","doi-asserted-by":"crossref","unstructured":"J\u00f3nsson B, Tarski A (1951) Boolean algebras with operators part I. Am J Math 73:891\u2013939","DOI":"10.2307\/2372123"},{"key":"34_CR20","doi-asserted-by":"crossref","unstructured":"J\u00f3nsson B, Tarski A (1951) Boolean algebras with operators part II. Am J Math 74:127\u2013162","DOI":"10.2307\/2372074"},{"key":"34_CR21","doi-asserted-by":"crossref","unstructured":"Kripke S (1963) Semantical analysis of modal logic II. Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik 9:67\u201396","DOI":"10.1002\/malq.19630090502"},{"key":"34_CR22","doi-asserted-by":"publisher","first-page":"707","DOI":"10.2307\/1969375","volume":"51","author":"RC Lyndon","year":"1950","unstructured":"Lyndon RC (1950) The representation of relations algebras. Ann Math 51:707\u2013729","journal-title":"Ann Math"},{"key":"34_CR23","doi-asserted-by":"crossref","unstructured":"Maddux R (2010) Relevance logic and relational algebras. The review of symbolic logic, vol 3, pp 41\u201370","DOI":"10.1017\/S1755020309990293"},{"key":"34_CR24","doi-asserted-by":"crossref","unstructured":"Mares E(1995) A star-free semantics for $$R$$. J Symbolic Logic 60:579\u201390","DOI":"10.2307\/2275852"},{"key":"34_CR25","unstructured":"Marx M (1995) Algebraic Relativization and Arrow Logic. Institute for Logic, Language and Computation (ILLC Dissertation Series), University of Amsterdam"},{"key":"34_CR26","doi-asserted-by":"crossref","unstructured":"Meyer RK (1974) New axiomatics for relevance logics I. J Philos Logic 3:53\u201386","DOI":"10.1007\/BF00652071"},{"key":"34_CR27","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1093\/logcom\/exn099","volume":"19","author":"S Mikulas","year":"2009","unstructured":"Mikulas S (2009) Algebras of relations and relevance logic. J Logic Comput 19:305\u2013321","journal-title":"J Logic Comput"},{"key":"34_CR28","doi-asserted-by":"crossref","unstructured":"Pratt V(1976) Semantical considerations on Floyd-Hoare logic. In: Proceedings of the 17th annual IEEE symposium on foundations of computer, science, pp 109\u2013121","DOI":"10.1109\/SFCS.1976.27"},{"key":"#cr-split#-34_CR29.1","doi-asserted-by":"crossref","unstructured":"Pratt V (1991) Action logic and pure induction. In: van Eijck V","DOI":"10.1007\/BFb0018436"},{"key":"#cr-split#-34_CR29.2","unstructured":"(ed) Logics in AI, Proceedings of European workshop JELIA 1990, Lecture Notes in Computer Science, no. 478. Springer, Berlin, pp 31-51"},{"key":"34_CR30","volume-title":"Time and modality","author":"AN Prior","year":"1957","unstructured":"Prior AN (1957) Time and modality. Clarendon Press, Oxford"},{"key":"34_CR31","unstructured":"Restall G (1995) Information flow and relevant logics. In: Seligman J, Westerst\u00e5hl D (eds) Logic, language, and computation, CSLI Publications (CSLI Lecture Notes, no. 58), Stanford, CA, pp 463\u2013477"},{"key":"34_CR32","doi-asserted-by":"publisher","first-page":"853","DOI":"10.1093\/jigpal\/8.6.853","volume":"8","author":"G Restall","year":"2000","unstructured":"Restall G (2000) Defining double negation elimination. Logic J IGPL 8:853\u2013860","journal-title":"Logic J IGPL"},{"key":"34_CR33","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/BF00649991","volume":"1","author":"R Routley","year":"1972","unstructured":"Routley R, Meyer RK (1972a) The semantics of entailment\u2013II. J Philos Logic 1:53\u201373","journal-title":"J Philos Logic"},{"key":"34_CR34","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1007\/BF00650498","volume":"1","author":"R Routley","year":"1972","unstructured":"Routley R, Meyer RK (1972b) The semantics of entailment\u2013III. J Philos Logic 1:192\u2013208","journal-title":"J Philos Logic"},{"key":"34_CR35","doi-asserted-by":"crossref","unstructured":"Routley R, Meyer RK (1973) The semantics of entailment. In: Leblanc H (ed) Truth, syntax and modality, Proceedings of the Temple University conference on alternative semantics. Amsterdam, North Holland, pp 199\u2013243","DOI":"10.1016\/S0049-237X(08)71541-6"},{"key":"34_CR36","unstructured":"Routley R, Meyer RK (1982) The semantics of entailment\u2013IV: E, $$\\Pi ^{\\prime }$$, and $$\\Pi ^{\\prime \\prime }$$. In: Routley R, Meyer RK, Plumwood V, Brady R (eds) Relevant logics and their rivals, Part I, The basic philosophical and semantical theory. Ridgeview Publishing Company, Atascadero, CA, Appendix 1:407\u2013424"},{"key":"34_CR37","unstructured":"Venema Y (1989) Two-dimensional modal logics for relational algebras and temporal logic of intervals. ITLI Prepublication Series LP-89-03, Institute for Logic, Language, Information, University of Amsterdam"},{"key":"34_CR38","unstructured":"Venema Y (1991) Multi-dimensional modal logic. Doctoral dissertation, Institute for Logic, Language, Competition, University of Amsterdam"},{"key":"34_CR39","unstructured":"Venema Y (1996) A crash course in arrow logic. In: Marx M, P\u00f3los L, Masuch M (eds) Arrow logic and multi-modal logic. The European association for logic, language and information. CSLI Publications and FoLLI, Stanford, CA, pp 3\u201361"}],"container-title":["Outstanding Contributions to Logic","Johan van Benthem on Logic and Information Dynamics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-06025-5_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,8]],"date-time":"2023-02-08T04:25:27Z","timestamp":1675830327000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-06025-5_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319060248","9783319060255"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-06025-5_34","relation":{},"ISSN":["2211-2758","2211-2766"],"issn-type":[{"type":"print","value":"2211-2758"},{"type":"electronic","value":"2211-2766"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"27 August 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}