{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,2,1]],"date-time":"2024-02-01T19:10:09Z","timestamp":1706814609073},"reference-count":28,"publisher":"Duke University Press","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2005,10,1]]},"DOI":"10.1305\/ndjfl\/1134397663","type":"journal-article","created":{"date-parts":[[2005,12,13]],"date-time":"2005-12-13T20:01:04Z","timestamp":1134504064000},"source":"Crossref","is-referenced-by-count":12,"title":["Relational Semantics for Kleene Logic and Action Logic"],"prefix":"10.1215","volume":"46","author":[{"given":"Katalin","family":"Bimb\u00f3","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.~Michael","family":"Dunn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"crossref","unstructured":"[1] Allwein, G., and J. M. Dunn, \"Kripke models for linear logic\", <i>The Journal of Symbolic Logic<\/i>, vol. 58 (1993), pp. 514--45.","DOI":"10.2307\/2275217"},{"key":"2","unstructured":"[2] Anderson, A. R., and N. D. Belnap, Jr., <i>Entailment. The Logic of Relevance and Necessity<\/i>, vol. 1, Princeton University Press, Princeton, 1975."},{"key":"3","doi-asserted-by":"publisher","unstructured":"[3] Bimb\u00f3, K., \"Semantics for structurally free logics LC$+$\", <i>Logic Journal of the IGPL<\/i>, vol. 9 (2001), pp. 525--39.","DOI":"10.1093\/jigpal\/9.4.525"},{"key":"4","doi-asserted-by":"publisher","unstructured":"[4] Bimb\u00f3, K., \"Semantics for dual and symmetric combinatory calculi\", <i>Journal of Philosophical Logic<\/i>, vol. 33 (2004), pp. 125--53.","DOI":"10.1023\/B:LOGI.0000021709.73522.34"},{"key":"5","doi-asserted-by":"publisher","unstructured":"[5] Bimb\u00f3, K., and J. M. Dunn, \"Two extensions of the structurally free logic $\\rm LC$\", <i>Logic Journal of the IGPL<\/i>, vol. 6 (1998), pp. 403--24.","DOI":"10.1093\/jigpal\/6.3.403"},{"key":"6","doi-asserted-by":"publisher","unstructured":"[6] Bimb\u00f3, K., and J. M. Dunn, \"Four-valued logic\", <i>Notre Dame Journal of Formal Logic<\/i>, vol. 42 (2001), pp. 171--92 (2003).","DOI":"10.1305\/ndjfl\/1063372199"},{"key":"7","unstructured":"[7] Birkhoff, G., <i>Lattice Theory<\/i>, American Mathematical Society Colloquium Publications, Vol. XXV. American Mathematical Society, Providence, 1967."},{"key":"8","doi-asserted-by":"crossref","unstructured":"[8] Birkhoff, G., and O. Frink, Jr., \"Representations of lattices by sets\", <i>Transactions of the American Mathematical Society<\/i>, vol. 64 (1948), pp. 299--316.","DOI":"10.1090\/S0002-9947-1948-0027263-2"},{"key":"9","unstructured":"[9] Curry, H. B., <i>Foundations of Mathematical Logic<\/i>, McGraw-Hill Book Co., New York, 1963."},{"key":"10","doi-asserted-by":"publisher","unstructured":"[10] Dunn, J. M., \"Intuitive semantics for first-degree entailments and `coupled trees'\", <i>Philosophical Studies<\/i>, vol. 29 (1976), pp. 149--68.","DOI":"10.1007\/BF00373152"},{"key":"11","doi-asserted-by":"crossref","unstructured":"[11] Dunn, J. M., \"Relevance logic and entailment\", pp. 117--229 in <i>Handbook of Philosophical Logic<\/i>, edited by D. Gabbay and F. Guenther, vol. 3, Reidel, Dordrecht, 1986.","DOI":"10.1007\/978-94-009-5203-4_3"},{"key":"12","doi-asserted-by":"publisher","unstructured":"[12] Dunn, J. M., \"Gaggle theory: An abstraction of Galois connections and residuation, with applications to negation, implication, and various logical operators\", pp. 31--51 in <i>Logics in AI (Amsterdam, 1990)<\/i>, edited by J. van Eijck, vol. 478 of <i>Lecture Notes in Computer Science<\/i>, Springer, Berlin, 1991.","DOI":"10.1007\/BFb0018431"},{"key":"13","doi-asserted-by":"crossref","unstructured":"[13] Dunn, J. M., \"Partial gaggles applied to logics with restricted structural rules\", pp. 63--108 in <i>Substructural Logics (T\u00fcbingen, 1990)<\/i>, edited by K. Do\u0161en and P. Schroeder-Heister, vol. 2 of <i>Studies in Logic and Computation<\/i>, Oxford University Press, New York, 1993.","DOI":"10.1093\/oso\/9780198537779.003.0004"},{"key":"15","doi-asserted-by":"crossref","unstructured":"[15] Dunn, J. M., \"Generalized ortho-negation\", pp. 3--26 in <i>Negation: A Notion in Focus<\/i>, edited by H. Wansing, W. de Gruyter, Berlin, 1996.","DOI":"10.1515\/9783110876802.3"},{"key":"16","doi-asserted-by":"crossref","unstructured":"[16] Dunn, J. M., \"A representation of relation algebras using Routley-Meyer frames\", pp. 77--108 in <i>Logic, Meaning and Computation<\/i>, edited by C. A. Anderson and M. Zel\u00ebny, vol. 305 of <i>Synthese Library<\/i>, Kluwer Academic Publishers, Dordrecht, 2001.","DOI":"10.1007\/978-94-010-0526-5_3"},{"key":"18","doi-asserted-by":"crossref","unstructured":"[18] Dunn, J. M., and G. M. Hardegree, <i>Algebraic Methods in Philosophical Logic<\/i>, vol. 41 of <i>Oxford Logic Guides<\/i>, The Clarendon Press, New York, 2001.","DOI":"10.1093\/oso\/9780198531920.001.0001"},{"key":"19","doi-asserted-by":"publisher","unstructured":"[19] Dunn, J. M., and R. K. Meyer, \"Combinators and structurally free logic\", <i>Logic Journal of the IGPL<\/i>, vol. 5 (1997), pp. 505--37 (electronic).","DOI":"10.1093\/jigpal\/5.4.505"},{"key":"20","unstructured":"[20] Ebbinghaus, H.-D., and J. Flum, <i>Finite Model Theory<\/i>, 2d edition, Perspectives in Mathematical Logic. Springer-Verlag, Berlin, 1999."},{"key":"21","doi-asserted-by":"crossref","unstructured":"[21] Enderton, H. B., <i>A Mathematical Introduction to Logic<\/i>, 2d edition, Harcourt\/Academic Press, Burlington, 2001.","DOI":"10.1016\/B978-0-08-049646-7.50005-9"},{"key":"22","doi-asserted-by":"crossref","unstructured":"[22] Gr\u00e4tzer, G., <i>Universal Algebra<\/i>, 2d edition, Springer-Verlag, New York, 1979.","DOI":"10.1007\/978-0-387-77487-9"},{"key":"23","doi-asserted-by":"publisher","unstructured":"[23] Hartonas, C., and J. M. Dunn, \"Stone duality for lattices\", <i>Algebra Universalis<\/i>, vol. 37 (1997), pp. 391--401.","DOI":"10.1007\/s000120050024"},{"key":"24","doi-asserted-by":"publisher","unstructured":"[24] Kozen, D., \"A completeness theorem for Kleene algebras and the algebra of regular events\", <i>Information and Computation<\/i>, vol. 110 (1994), pp. 366--90. 1991 IEEE Symposium on Logic in Computer Science (Amsterdam, 1991).","DOI":"10.1006\/inco.1994.1037"},{"key":"25","doi-asserted-by":"publisher","unstructured":"[25] Pratt, V., \"Action logic and pure induction\", pp. 97--120 in <i>Logics in AI (Amsterdam, 1990)<\/i>, edited by J. van Eijck, vol. 478 of <i>Lecture Notes in Computer Science<\/i>, Springer, Berlin, 1991.","DOI":"10.1007\/BFb0018436"},{"key":"27","unstructured":"[27] Stoll, R. R., <i>Set Theory and Logic<\/i>, Dover Publications Inc., New York, 1979. Corrected reprint of the 1963 edition."},{"key":"28","doi-asserted-by":"crossref","unstructured":"[28] Urquhart, A., \"A topological representation theory for lattices\", <i>Algebra Universalis<\/i>, vol. 8 (1978), pp. 45--58.","DOI":"10.1007\/BF02485369"},{"key":"14","doi-asserted-by":"crossref","unstructured":"[14] Dunn, J. M., \"Gaggle theory applied to intuitionistic, modal and relevance logic\", pp. 335--68 in <i>Logik und Mathematik. Frege-Kolloquium Jena<\/i>, W. de Gruyter, Berlin, 1995.","DOI":"10.1515\/9783110887792.335"},{"key":"17","unstructured":"[17] Dunn, J. M., \"Ternary relational semantics and beyond: Programs as data and programs as instructions\", <i>Logical Studies<\/i>, no. 7, online journal, (2001). Special Issue: Proceedings of the International Conference <i>Third Smirnov Readings<\/i> (Moscow, May 24--27, 2001), Part 2, http:\/\/www.logic.ru\/LogStud\/."},{"key":"26","unstructured":"[26] Sipser, M., <i>Introduction to the Theory of Computation<\/i>, PWS Publishing Company, New York, 1997."}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1305\/ndjfl\/1134397663","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,1]],"date-time":"2024-02-01T18:40:37Z","timestamp":1706812837000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-46\/issue-4\/Relational-Semantics-for-Kleene-Logic-and-Action-Logic\/10.1305\/ndjfl\/1134397663.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,10,1]]},"references-count":28,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2005,10,1]]}},"URL":"https:\/\/doi.org\/10.1305\/ndjfl\/1134397663","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2005,10,1]]}}}