{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,14]],"date-time":"2025-11-14T17:12:43Z","timestamp":1763140363807},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2009,4,21]],"date-time":"2009-04-21T00:00:00Z","timestamp":1240272000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Log. Univers."],"published-print":{"date-parts":[[2009,7]]},"DOI":"10.1007\/s11787-009-0004-3","type":"journal-article","created":{"date-parts":[[2009,4,20]],"date-time":"2009-04-20T15:13:29Z","timestamp":1240240409000},"page":"125-152","source":"Crossref","is-referenced-by-count":9,"title":["Symmetric Generalized Galois Logics"],"prefix":"10.1007","volume":"3","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":"297","published-online":{"date-parts":[[2009,4,21]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","first-page":"514","DOI":"10.2307\/2275217","volume":"58","author":"G. Allwein","year":"1993","unstructured":"Allwein G., Dunn J.M.: Kripke models for linear logic. J. Symbolic Logic 58, 514\u2013545 (1993)","journal-title":"J. Symbolic Logic"},{"key":"4_CR2","volume-title":"Entailment. The Logic of Relevance and Necessity, vol. II","author":"A.R. Anderson","year":"1992","unstructured":"Anderson A.R., Belnap N.D., Dunn J.M.: Entailment. The Logic of Relevance and Necessity, vol. II. Princeton University Press, Princeton (1992)"},{"key":"4_CR3","doi-asserted-by":"crossref","first-page":"525","DOI":"10.1093\/jigpal\/9.4.525","volume":"9","author":"K. Bimb\u00f3","year":"2001","unstructured":"Bimb\u00f3 K.: Semantics for structurally free logics LC\u00a0+\u00a0. Logic J. IGPL 9, 525\u2013539 (2001)","journal-title":"Logic J. IGPL"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Bimb\u00f3, K.: Relevance logics. In: Dale, J. (ed.) Philosophy of Logic. In: Gabbay, D., Thagard, P., Woods, J. (eds.) Handbook of the Philosophy of Science, vol. 5, pp. 723\u2013789. Elsevier (North-Holland), Amsterdam (2007)","DOI":"10.1016\/B978-044451541-4\/50022-1"},{"issue":"1","key":"4_CR5","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1215\/00294527-2008-025","volume":"50","author":"K. Bimb\u00f3","year":"2009","unstructured":"Bimb\u00f3 K.: Dual gaggle semantics for entailment. Notre Dame J. Formal Logic 50(1), 23\u201341 (2009)","journal-title":"Notre Dame J. Formal Logic"},{"key":"4_CR6","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1093\/jigpal\/6.3.403","volume":"6","author":"K. Bimb\u00f3","year":"1998","unstructured":"Bimb\u00f3 K., Dunn J.M.: Two extensions of the structurally free logic LC. Logic J. IGPL 6, 403\u2013424 (1998)","journal-title":"Logic J. IGPL"},{"key":"4_CR7","unstructured":"Bimb\u00f3, K., Dunn, J.M.: Generalized Galois logics. Relational Semantics of Nonclassical Logical Calculi. CSLI Lecture Notes, vol. 188, CSLI Publications, Stanford (2008)"},{"key":"4_CR8","unstructured":"Carnielli, W., Coniglio, M.E.: Logic, combining. Stanford. In: Zalta, E. (ed.) Encyclopedia of Philosophy. URL: plato.stanford.edu\/entries\/logic-combining (2007)"},{"key":"4_CR9","volume-title":"Introduction to Mathematical Logic, Revised and Enlarged","author":"A. Church","year":"1996","unstructured":"Church A.: Introduction to Mathematical Logic, Revised and Enlarged. Princeton University Press, Princeton (1996)"},{"key":"4_CR10","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511809088","volume-title":"Introduction to Lattices and Order","author":"B.A. Davey","year":"2002","unstructured":"Davey B.A., Priestley H.A.: Introduction to Lattices and Order, 2nd edn. Cambridge University Press, Cambridge (2002)","edition":"2"},{"key":"4_CR11","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1007\/978-94-009-5203-4_3","volume-title":"Handbook of Philosophical Logic, vol. 3","author":"J.M. Dunn","year":"1986","unstructured":"Dunn J.M.: Relevance logic and entailment. In: Gabbay, D., Guenthner, F. (eds) Handbook of Philosophical Logic, vol. 3, 1st edn, pp. 117\u2013229. D. Reidel, Dordrecht (1986)","edition":"1"},{"key":"4_CR12","first-page":"31","volume-title":"AI: European Workshop JELIA\u201990, Lecture Notes in Computer Science, vol. 478","author":"J.M. Dunn","year":"1991","unstructured":"Dunn J.M.: Gaggle theory: an abstraction of Galois connections and residuation with applications to negation, implication, and various logical operators. Logics. In: Eijck, J. (eds) AI: European Workshop JELIA\u201990, Lecture Notes in Computer Science, vol. 478, pp. 31\u201351. Springer, Berlin (1991)"},{"key":"4_CR13","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1093\/oso\/9780198537779.003.0004","volume-title":"Substructural Logics","author":"J.M. Dunn","year":"1993","unstructured":"Dunn J.M.: Partial-gaggles applied to logics with restricted structural rules. In: Do\u0161en, K., Schroeder-Heister, P. (eds) Substructural Logics, pp. 63\u2013108. Clarendon, Oxford (1993)"},{"key":"4_CR14","first-page":"335","volume-title":"Logik und Mathematik. Frege\u2013Kolloquium Jena","author":"J.M. Dunn","year":"1995","unstructured":"Dunn J.M.: Gaggle theory applied to intuitionistic, modal and relevance logic. In: Max, I., Stelzner, W. (eds) Logik und Mathematik. Frege\u2013Kolloquium Jena, pp. 335\u2013368. W. de Gruyter, Berlin (1995)"},{"key":"4_CR15","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198531920.001.0001","volume-title":"Algebraic Methods in Philosophical Logic. Oxford Logic Guides, vol. 41","author":"J.M. Dunn","year":"2001","unstructured":"Dunn J.M., Hardegree G.M.: Algebraic Methods in Philosophical Logic. Oxford Logic Guides, vol. 41. Oxford University Press, Oxford (2001)"},{"key":"4_CR16","doi-asserted-by":"crossref","first-page":"505","DOI":"10.1093\/jigpal\/5.4.505","volume":"5","author":"J.M. Dunn","year":"1997","unstructured":"Dunn J.M., Meyer R.K.: Combinators and structurally free logic. Logic J. IGPL 5, 505\u2013537 (1997)","journal-title":"Logic J. IGPL"},{"key":"4_CR17","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-94-017-0460-1_1","volume-title":"Handbook of Philosophical Logic, vol. 6","author":"J.M. Dunn","year":"2002","unstructured":"Dunn J.M., Restall G.: Relevance logic. In: Gabbay, D., Guenthner, F. (eds) Handbook of Philosophical Logic, vol. 6, 2nd edn, pp. 1\u2013128. Kluwer, Amsterdam (2002)","edition":"2"},{"key":"4_CR18","first-page":"315","volume-title":"Investigations into Nonclassical Logics and Formal Systems","author":"V.N. Grishin","year":"1983","unstructured":"Grishin V.N.: On a generalization of the Ajdukiewicz\u2013Lambek system. In: Mikha\u01d0lov, A.I. (eds) Investigations into Nonclassical Logics and Formal Systems, pp. 315\u2013334. Nauka, Moscow (1983)"},{"key":"4_CR19","doi-asserted-by":"crossref","first-page":"154","DOI":"10.1080\/00029890.1958.11989160","volume":"65","author":"J. Lambek","year":"1958","unstructured":"Lambek J.: The mathematics of sentence structure. Am. Math. Mon. 65, 154\u2013169 (1958)","journal-title":"Am. Math. Mon."},{"key":"4_CR20","doi-asserted-by":"crossref","first-page":"166","DOI":"10.1090\/psapm\/012\/9972","volume-title":"Structure of Language and its Mathematical Aspects","author":"J. Lambek","year":"1961","unstructured":"Lambek J.: On the calculus of syntactic types. In: Jacobson, R. (eds) Structure of Language and its Mathematical Aspects, pp. 166\u2013178. American Mathematical Society, Providence (1961)"},{"key":"4_CR21","first-page":"407","volume":"15","author":"R.K. Meyer","year":"1972","unstructured":"Meyer R.K., Routley R.: Algebraic analysis of entailment I. Logique Anal. 15, 407\u2013428 (1972)","journal-title":"Logique Anal."},{"key":"4_CR22","first-page":"264","volume-title":"WOLLIC 2007, Lecture Notes in Computer Science, vol. 4576","author":"M. Moortgat","year":"2007","unstructured":"Moortgat M.: Symmetries in natural language syntax and semantics: the Lambek\u2013Grishin calculus. In: Leivant, D., Queiroz, R. (eds) WOLLIC 2007, Lecture Notes in Computer Science, vol. 4576, pp. 264\u2013284. Springer, Heidelberg (2007)"},{"key":"4_CR23","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1112\/blms\/2.2.186","volume":"2","author":"H.A. Priestley","year":"1970","unstructured":"Priestley H.A.: Representation of distributive lattices by means of ordered Stone spaces. Bull. Lond. Math. Soc. 2, 186\u2013190 (1970)","journal-title":"Bull. Lond. Math. Soc."},{"key":"4_CR24","doi-asserted-by":"crossref","DOI":"10.4324\/9780203252642","volume-title":"An Introduction to Substructural Logics","author":"G. Restall","year":"2000","unstructured":"Restall G.: An Introduction to Substructural Logics. Routledge, London (2000)"},{"key":"4_CR25","first-page":"1","volume":"67","author":"M.H. Stone","year":"1937","unstructured":"Stone M.H.: Topological representations of distributive lattices and Brouwerian logics. \u010casopis pro p\u011bstov\u00e1n\u00ed matematiky a fysiky, \u010cast matematick\u00e1 67, 1\u201325 (1937)","journal-title":"\u010casopis pro p\u011bstov\u00e1n\u00ed matematiky a fysiky, \u010cast matematick\u00e1"}],"container-title":["Logica Universalis"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-009-0004-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11787-009-0004-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-009-0004-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,12]],"date-time":"2024-03-12T19:28:00Z","timestamp":1710271680000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11787-009-0004-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,4,21]]},"references-count":25,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2009,7]]}},"alternative-id":["4"],"URL":"https:\/\/doi.org\/10.1007\/s11787-009-0004-3","relation":{},"ISSN":["1661-8297","1661-8300"],"issn-type":[{"value":"1661-8297","type":"print"},{"value":"1661-8300","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,4,21]]}}}