{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,14]],"date-time":"2025-11-14T17:12:35Z","timestamp":1763140355753},"reference-count":27,"publisher":"Duke University Press","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2009,1,1]]},"DOI":"10.1215\/00294527-2008-025","type":"journal-article","created":{"date-parts":[[2009,1,19]],"date-time":"2009-01-19T14:26:27Z","timestamp":1232375187000},"source":"Crossref","is-referenced-by-count":12,"title":["Dual Gaggle Semantics for Entailment"],"prefix":"10.1215","volume":"50","author":[{"given":"Katalin","family":"Bimb\u00f3","sequence":"first","affiliation":[]}],"member":"73","reference":[{"key":"1","unstructured":"[1] Anderson, A. R., and N. D. Belnap, Jr., <i>Entailment. The Logic of Relevance and Necessity, Vol. I<\/i>, Princeton University Press, Princeton, 1975."},{"key":"2","unstructured":"[2] Anderson, A. R., N. D. Belnap, Jr., and J. M. Dunn, <i>Entailment. The Logic of Relevance and Necessity, Vol. II<\/i>, Princeton University Press, Princeton, 1992."},{"key":"3","doi-asserted-by":"crossref","unstructured":"[3] Belnap, N., \"Life in the undistributed middle\", pp. 31--41 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.0002"},{"key":"4","doi-asserted-by":"publisher","unstructured":"[4] Belnap, N. D., Jr., and J. R. Wallace, \"A decision procedure for the system $E\\sb\\overlineI$\" of entailment with negation, <i>Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik<\/i>, vol. 11 (1965), pp. 277--89.","DOI":"10.1002\/malq.19650110403"},{"key":"5","doi-asserted-by":"publisher","unstructured":"[5] Bimb\u00f3, K., \"Admissibility of cut in $LC$\" with fixed point combinator, <i>Studia Logica<\/i>, vol. 81 (2005), pp. 399--423.","DOI":"10.1007\/s11225-005-4651-y"},{"key":"6","doi-asserted-by":"publisher","unstructured":"[6] Bimb\u00f3, K., \"Functorial duality for ortholattices and De Morgan lattices\", <i>Logica Universalis<\/i>, vol. 1 (2007), pp. 311--33.","DOI":"10.1007\/s11787-007-0016-9"},{"key":"8","doi-asserted-by":"crossref","unstructured":"[8] Bimb\u00f3, K., \"Relevance logics\", pp. 723--89 in <i>Philosophy of Logic<\/i>, edited by D. Jacquette, vol. 5 of <i>Handbook of the Philosophy of Science<\/i>, edited by D. Gabbay, P. Thagard, and J. Woods, Elsevier, Amsterdam, 2007.","DOI":"10.1016\/B978-044451541-4\/50022-1"},{"key":"9","doi-asserted-by":"publisher","unstructured":"[9] Bimb\u00f3, K., and J. M. Dunn, \"Relational semantics for Kleene logic and action logic\", <i>Notre Dame Journal of Formal Logic<\/i>, vol. 46 (2005), pp. 461--90.","DOI":"10.1305\/ndjfl\/1134397663"},{"key":"11","doi-asserted-by":"publisher","unstructured":"[11] 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.2307\/1990504"},{"key":"12","unstructured":"[12] Clark, D. M., and B. A. Davey, <i>Natural Dualities for the Working Algebraist<\/i>, vol. 57 of <i>Cambridge Studies in Advanced Mathematics<\/i>, Cambridge University Press, Cambridge, 1998."},{"key":"13","doi-asserted-by":"crossref","unstructured":"[13] Davey, B. A., and H. A. Priestley, <i>Introduction to Lattices and Order<\/i>, 2d edition, Cambridge University Press, New York, 2002.","DOI":"10.1017\/CBO9780511809088"},{"key":"15","unstructured":"[15] Dunn, J. M., <i>Relevance logic and entailment<\/i>, 1st edition, edited by D. M. Gabbay and F. Guenthner, D. Reidel, Dordrecht, 1986."},{"key":"16","doi-asserted-by":"publisher","unstructured":"[16] 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<\/i> (European Workshop JELIA, Amsterdam, 1990), edited by J. van Eijck, vol. 478 of <i>Lecture Notes in Computer Science<\/i>, Springer, Berlin, 1991.","DOI":"10.1007\/BFb0018431"},{"key":"17","unstructured":"[17] 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. Oxford Science Publications."},{"key":"18","doi-asserted-by":"publisher","unstructured":"[18] 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.","DOI":"10.1093\/jigpal\/5.4.505"},{"key":"19","unstructured":"[19] Goldblatt, R., <i>Topoi. The Categorial Analysis of Logic<\/i>, 2d edition, vol. 98 of <i>Studies in Logic and the Foundations of Mathematics<\/i>, North-Holland Publishing Co., Amsterdam, 1984."},{"key":"21","unstructured":"[21] Mares, E. D., \"Halld\u00e9n-completeness and modal relevant logic\", <i>Logique et Analyse. Nouvelle S\u00e9rie<\/i>, vol. 46 (2003), pp. 59--76."},{"key":"22","doi-asserted-by":"crossref","unstructured":"[22] Negri, S., and J. von Plato, <i>Structural Proof Theory<\/i>, Cambridge University Press, Cambridge, 2001.","DOI":"10.1017\/CBO9780511527340"},{"key":"23","doi-asserted-by":"publisher","unstructured":"[23] Priestley, H. A., \"Representation of distributive lattices by means of ordered Stone spaces\", <i>The Bulletin of the London Mathematical Society<\/i>, vol. 2 (1970), pp. 186--90.","DOI":"10.1112\/blms\/2.2.186"},{"key":"24","doi-asserted-by":"crossref","unstructured":"[24] Routley, R., and R. K. Meyer, \"The semantics of entailment. I\", pp. 199--243 in <i>Truth, Syntax and Modality (Proceedings of the Temple University Conference on Alternative Semantics Philadelphia, 1970)<\/i>, edited by H. Leblanc, vol. 68 of <i>Studies in Logic and the Foundations of Mathematics<\/i>, North-Holland, Amsterdam, 1973.","DOI":"10.1016\/S0049-237X(08)71541-6"},{"key":"25","doi-asserted-by":"crossref","unstructured":"[25] Stone, M. H., \"Topological representations of distributive lattices and Brouwerian logics\", <i>\u010c<\/i>asopis pro p\\v estov\u00e1n\u00ed Matematiky a Fysiky, \u010cast matematick\u00e1, vol. 67 (1937), pp. 1--25.","DOI":"10.21136\/CPMF.1938.124080"},{"key":"26","doi-asserted-by":"publisher","unstructured":"[26] Urquhart, A., \"A topological representation theory for lattices\", <i>Algebra Universalis<\/i>, vol. 8 (1978), pp. 45--58.","DOI":"10.1007\/BF02485369"},{"key":"27","doi-asserted-by":"publisher","unstructured":"[27] Urquhart, A., \"Duality for algebras of relevant logics\", <i>Studia Logica<\/i>, vol. 56 (1996), pp. 263--76.","DOI":"10.1007\/BF00370149"},{"key":"7","doi-asserted-by":"publisher","unstructured":"[7] Bimb\u00f3, K., \"$LE^\\,t_\\rightarrow$\", $LR^\\circ_ \\!\\overset\\wedge\\sim$\", $LK$ and cutfree proofs, <i>Journal of Philosophical Logic<\/i>, vol. 36 (2007), pp. 557--70.","DOI":"10.1007\/s10992-007-9048-0"},{"key":"10","unstructured":"[10] Bimb\u00f3, K., and J. M. Dunn, <i>Generalized Galois Logics. Relational Semantics of Nonclassical Logical Calculi<\/i>, vol. 188 of <i>CSLI Lecture Notes<\/i>, CSLI Publications, Stanford, 2008."},{"key":"14","unstructured":"[14] Dunn, J. M., \"A `Gentzen system' for positive relevant implication\", abstract, <i>The Journal of Symbolic Logic<\/i>, vol. 38 (1973), pp. 356--57."},{"key":"20","doi-asserted-by":"crossref","unstructured":"[20] Kripke, S. A., \"The problem of entailment\", abstract, <i>The Journal of Symbolic Logic<\/i>, vol. 24 (1959), p. 324.","DOI":"10.2307\/2964568"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-2008-025","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,9]],"date-time":"2024-03-09T08:08:28Z","timestamp":1709971708000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-50\/issue-1\/Dual-Gaggle-Semantics-for-Entailment\/10.1215\/00294527-2008-025.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,1,1]]},"references-count":27,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2009,1,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-2008-025","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2009,1,1]]}}}