{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T15:28:56Z","timestamp":1759332536309},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540536864"},{"type":"electronic","value":"9783540469827"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/bfb0018431","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T00:30:30Z","timestamp":1132619430000},"page":"31-51","source":"Crossref","is-referenced-by-count":54,"title":["Gaggle theory: An abstraction of Galois connections and residuation, with applications to negation, implication, and various logical operators"],"prefix":"10.1007","author":[{"given":"J. Michael","family":"Dunn","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"2_CR1","unstructured":"A. R. Anderson and N. D. Belnap et al (1975), Entailment: The Logic of Relevance and Necessity, vol. 1, Princeton (Princeton University Press)."},{"key":"2_CR2","volume-title":"Lattice Theory","author":"G. Birkhoff","year":"1940","unstructured":"G. Birkhoff (1940, 1948, 1967), Lattice Theory, Providence (American Mathematical Society)."},{"key":"2_CR3","volume-title":"Residuation Theory","author":"T. S. Blyth","year":"1972","unstructured":"T. S. Blyth and M. F. Janowitz (1972), Residuation Theory, New York (Pergamon Press Inc.)."},{"key":"2_CR4","unstructured":"J. M. Dunn (1966), The Algebra of Intensional Logics. Doctoral Dissertation, University of Pittsburgh, Ann Arbor (University Microfilms). Portions relevant to this paper are reprinted in Anderson, Belnap, et al. as \u00a78 and \u00a728.2."},{"key":"2_CR5","doi-asserted-by":"crossref","first-page":"514","DOI":"10.1090\/S0002-9947-1944-0010556-9","volume":"55","author":"C. J. Everett","year":"1944","unstructured":"C. J. Everett (1944), \"Closure Operators and Galois Theory in Lattices,\" Transactions of the American Mathematical Society, 55, 514\u2013525.","journal-title":"Transactions of the American Mathematical Society"},{"key":"2_CR6","volume-title":"Partially-Ordered Algebraic Systems","author":"L. Fuchs","year":"1963","unstructured":"L. Fuchs (1963), Partially-Ordered Algebraic Systems, New York (Pergamon Press Inc.)."},{"key":"2_CR7","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/BF00652069","volume":"3","author":"R. I. Goldblatt","year":"1974","unstructured":"R. I. Goldblatt (1974), \"Semantic Analysis of Orthologic,\" Journal of Philosophical Logic, 3, 19\u201335.","journal-title":"Journal of Philosophical Logic"},{"key":"2_CR8","doi-asserted-by":"crossref","first-page":"891","DOI":"10.2307\/2372123","volume":"73\u201374","author":"B. J\u00f3nsson","year":"1951","unstructured":"B. J\u00f3nsson and A. Tarski (1951\u201352), \"Boolean Algebras with Operators,\" American Journal of Mathematics, 73\u201374, 891\u2013939, 127\u2013162.","journal-title":"American Journal of Mathematics"},{"key":"2_CR9","volume-title":"Scientific Philosophy Today","author":"J. Lambek","year":"1981","unstructured":"J. Lambek (1981), \"The Influence of Heraclitus on Modern Mathematics,\" in Scientific Philosophy Today, eds. J. Agassi and R. S. Cohen, Dordrecht (D. Reidel Publishing Company)."},{"key":"2_CR10","doi-asserted-by":"crossref","first-page":"46","DOI":"10.2307\/2270619","volume":"32","author":"E. J. Lemmon","year":"1966","unstructured":"E. J. Lemmon (1966), \"Algebraic Semantics for Modal Logics, I and II,\" The Journal of Symbolic Logic, 32, 46\u201365, 191\u2013218.","journal-title":"The Journal of Symbolic Logic"},{"key":"2_CR11","volume-title":"Categories for the Working Mathematician","author":"S. MacLane","year":"1971","unstructured":"S. MacLane (1971), Categories for the Working Mathematician, New York (Springer-Verlag)."},{"key":"2_CR12","first-page":"407","volume":"15","author":"R. K. Meyer","year":"1972","unstructured":"R. K. Meyer and R. Routley (1972), \"Algebraic Analysis of Entailment,\" Logique et Analyse, n.s. 15, 407\u2013428.","journal-title":"Logique et Analyse"},{"key":"2_CR13","doi-asserted-by":"crossref","first-page":"493","DOI":"10.1090\/S0002-9947-1944-0010555-7","volume":"55","author":"O. Ore","year":"1944","unstructured":"O. Ore (1944), \"Galois Connexions,\" Transactions of the American Mathematical Society, 55, 493\u2013513.","journal-title":"Transactions of the American Mathematical Society"},{"key":"2_CR14","first-page":"199","volume-title":"Truth, Syntax and Modality","author":"R. Routley","year":"1972","unstructured":"R. Routley and R. K. Meyer (1972\u201373), \"The Semantics of Entailment I\" in Truth, Syntax and Modality, ed. H. Leblanc, Amsterdam (North-Holland Publishing Company), pp. 199\u2013243."},{"key":"2_CR15","first-page":"37","volume":"40","author":"M. Stone","year":"1936","unstructured":"M. Stone (1936), \"The Theory of Representations for Boolean Algebras, Transactions of the American Mathematical Society, 40, 37\u2013111.","journal-title":"Transactions of the American Mathematical Society"},{"key":"2_CR16","first-page":"1","volume":"67","author":"M. Stone","year":"1937","unstructured":"M. Stone (1937), \"Topological Representations of Distributive Lattices and Brouwerian Logics,\" Casopsis pro Pestov ani Matematiky a Fysiky, 67, 1\u201325.","journal-title":"Casopsis pro Pestov ani Matematiky a Fysiky"},{"key":"2_CR17","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1090\/S0002-9947-1939-1501995-3","volume":"45","author":"M. Ward","year":"1939","unstructured":"M. Ward and R. P. Dilworth (1939), \"Residuated Lattices,\" Transactions of the American Mathematical Society, 45, 335\u201354.","journal-title":"Transactions of the American Mathematical Society"}],"container-title":["Lecture Notes in Computer Science","Logics in AI"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0018431","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,5]],"date-time":"2019-02-05T02:36:02Z","timestamp":1549334162000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0018431"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540536864","9783540469827"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/bfb0018431","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}