{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,9]],"date-time":"2026-04-09T12:07:42Z","timestamp":1775736462037,"version":"3.50.1"},"reference-count":41,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2022,6,1]],"date-time":"2022-06-01T00:00:00Z","timestamp":1654041600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,6,1]],"date-time":"2022-06-01T00:00:00Z","timestamp":1654041600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Log. Univers."],"published-print":{"date-parts":[[2022,6]]},"DOI":"10.1007\/s11787-022-00298-5","type":"journal-article","created":{"date-parts":[[2022,7,3]],"date-time":"2022-07-03T14:02:21Z","timestamp":1656856941000},"page":"285-322","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["On the Universality of Atomic and Molecular Logics via Protologics"],"prefix":"10.1007","volume":"16","author":[{"given":"Guillaume","family":"Aucher","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,7,3]]},"reference":[{"key":"298_CR1","doi-asserted-by":"crossref","unstructured":"Allwein, G., Dunn, M.J.: Kripke models for linear logic. J. Symbol. Logic 58(2), 514\u2013545 (1993)","DOI":"10.2307\/2275217"},{"issue":"1","key":"298_CR2","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s11787-006-0002-7","volume":"1","author":"P Arndt","year":"2007","unstructured":"Arndt, P., Freire, R.A., Luciano, O.O., Mariano, H.L.: A global glance on categories in logic. Logica Universalis 1(1), 3\u201339 (2007)","journal-title":"Logica Universalis"},{"issue":"6","key":"298_CR3","doi-asserted-by":"publisher","first-page":"1865","DOI":"10.1093\/logcom\/exw001","volume":"26","author":"G Aucher","year":"2016","unstructured":"Aucher, G.: Displaying Updates in Logic. J. Logic Comput. 26(6), 1865\u20131912 (2016)","journal-title":"J. Logic Comput."},{"key":"298_CR4","unstructured":"Aucher, G.: Towards universal logic: gaggle logics. J. Applied Logics. 7(6), 875\u2013945 (2020)"},{"key":"298_CR5","unstructured":"Aucher, G.: Selected Topics from Contemporary Logics, chapter Towards Universal Logic: Gaggle Logics, pages 5\u201373. Landscapes in Logic. College Publications, October (2021)"},{"key":"298_CR6","doi-asserted-by":"crossref","unstructured":"Aucher, G.: A van Benthem theorem for atomic and molecular logics. In Proceedings of Non-classical logics. Theory and applications. (NCL\u201922), EPTCS, (2022)","DOI":"10.4204\/EPTCS.358.7"},{"issue":"2","key":"298_CR7","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1016\/0003-4843(74)90016-3","volume":"7","author":"J Barwise","year":"1974","unstructured":"Barwise, J.: Axioms for abstract model theory. Annal. Math. Logic 7(2), 221\u2013265 (1974)","journal-title":"Annal. Math. Logic"},{"key":"298_CR8","unstructured":"B\u00e9ziau, J-Y.: Logica universalis, chapter from consequence operator to universal logic: a survey of general abstract logic. Birkh\u00e4user Basel, (2007)"},{"issue":"6","key":"298_CR9","doi-asserted-by":"publisher","first-page":"1111","DOI":"10.1093\/logcom\/exp035","volume":"19","author":"J-Y B\u00e9ziau","year":"2009","unstructured":"B\u00e9ziau, J.-Y.: Editorial: Introduction to the universal logic corner. J. Log. Comput. 19(6), 1111 (2009)","journal-title":"J. Log. Comput."},{"key":"298_CR10","unstructured":"Bimbo, K., Dunn, M.J.: Generalized galois logics: relational semantics of nonclassical logical calculi. number 188. center for the study of language and information, (2008)"},{"key":"298_CR11","volume-title":"Model theory. studies in logic and the foundations of mathematics","author":"CC Chang","year":"1998","unstructured":"Chang, C.C., Keisler, H.J.: Model theory. studies in logic and the foundations of mathematics. Elsevier, Amsterdam (1998)"},{"key":"298_CR12","doi-asserted-by":"crossref","unstructured":"Dunn, M.J.: Gaggle theory: an abstraction of galois connections and residuation, with applications to negation, implication, and various logical operators. European workshop on logics in artificial intelligence. Springer, Berlin Heidelberg (1990)","DOI":"10.1007\/BFb0018431"},{"key":"298_CR13","doi-asserted-by":"crossref","unstructured":"Dunn, M.J.: Philosophy of language and logic, of philosophical perspectives, chapter perp and star two treatments of negation. Ridgeview Publishing Company, USA (1993)","DOI":"10.2307\/2214128"},{"key":"298_CR14","doi-asserted-by":"crossref","unstructured":"Dunn, M.J., Hardegree, G.M.: Algebraic methods in philosophical logic in oxford logic guides. Clarendon Press, Oxford (2001)","DOI":"10.1093\/oso\/9780198531920.001.0001"},{"key":"298_CR15","doi-asserted-by":"crossref","unstructured":"Dunn, M.J., Zhou, C.: Negation in the context of gaggle theory. Studia Logica 80(2\u20133), 235\u2013264 (2005)","DOI":"10.1007\/s11225-005-8470-y"},{"key":"298_CR16","volume-title":"An introduction to mathematical logic","author":"H Enderton","year":"2001","unstructured":"Enderton, H.: An introduction to mathematical logic. Academic Press, USA (2001)"},{"key":"298_CR17","volume-title":"What is a logical system?. Studies in logic and computation","year":"1994","unstructured":"Gabbay, D. (ed.): What is a logical system?. Studies in logic and computation. Oxford University Press, USA (1994)"},{"key":"298_CR18","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198538332.001.0001","volume-title":"Labelled deductive systems","author":"D Gabbay","year":"1996","unstructured":"Gabbay, D.: Labelled deductive systems. Oxford University Press, USA (1996)"},{"key":"298_CR19","doi-asserted-by":"crossref","unstructured":"Garcia-Matos, M., V\u00e4\u00e4n\u00e4nen, J.: Abstract model theory as a framework for universal logic. In Jean-Yves B\u00e9ziau, editor, Logica Universalis, pages 19\u201333, Basel, (2007). Birkh\u00e4user Basel","DOI":"10.1007\/3-7643-7304-0_2"},{"issue":"1","key":"298_CR20","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"JA Goguen","year":"1992","unstructured":"Goguen, J.A., Burstall, R.M.: Institutions: Abstract model theory for specification and programming. J. ACM (JACM) 39(1), 95\u2013146 (1992)","journal-title":"J. ACM (JACM)"},{"key":"298_CR21","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/BF00652069","volume":"3","author":"R Goldblatt","year":"1974","unstructured":"Goldblatt, R.: Semantic analysis of orthologic. J. Phil. Logic 3, 19\u201335 (1974)","journal-title":"J. Phil. Logic"},{"issue":"3","key":"298_CR22","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1093\/jigpal\/6.3.451","volume":"6","author":"R Gor\u00e9","year":"1998","unstructured":"Gor\u00e9, R.: Substructural logics on display. Logic J. IGPL 6(3), 451\u2013504 (1998)","journal-title":"Logic J. IGPL"},{"key":"298_CR23","first-page":"315","volume-title":"Studies in nonclassical logics and formal systems","author":"V Grishin","year":"1983","unstructured":"Grishin, V.: On a generalization of the Ajdukiewicz-Lambek system. In: Mikhailov, A.I. (ed.) Studies in nonclassical logics and formal systems, pp. 315\u2013334. Nauka, Moscow (1983)"},{"key":"298_CR24","doi-asserted-by":"crossref","unstructured":"Janin D., Lenzi G.: Relating levels of the mu-calculus hierarchy and levels of the monadic hierachy. In: LICS, pages 347\u2013356, Boston, United States, IEEE computer society (2001)","DOI":"10.1109\/LICS.2001.932510"},{"key":"298_CR25","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1002\/malq.19620080204","volume":"8","author":"SA Kripke","year":"1963","unstructured":"Kripke, S.A.: Semantical analysis of modal logic, i: normal propositional calculi. Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik 8, 113\u2013116 (1963)","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"key":"298_CR26","doi-asserted-by":"crossref","unstructured":"Kripke, S.A.: Formal Systems and Recursive Functions, chapter semantical analysis of intuitionistic logic, I, pages 92\u2013130. North Holland, Amsterdam, (1965)","DOI":"10.1016\/S0049-237X(08)71685-9"},{"issue":"2","key":"298_CR27","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/BF00370318","volume":"39","author":"ST Kuhn","year":"1980","unstructured":"Kuhn, S.T.: Quantifiers as modal operators. Studia Logica 39(2), 145\u2013158 (1980)","journal-title":"Studia Logica"},{"key":"298_CR28","doi-asserted-by":"publisher","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. Monthly 65, 154\u2013170 (1958)","journal-title":"Am. Math. Monthly"},{"key":"298_CR29","doi-asserted-by":"crossref","unstructured":"Marx, M., Venema, Y.: Multi-dimensional Modal Logic, volume 4 of Applied logic series. Kluwer (1997)","DOI":"10.1007\/978-94-011-5694-3"},{"key":"298_CR30","volume-title":"Logic Colloquium\u201987, of studies in logic and the foundations of mathematics","author":"J Meseguer","year":"1989","unstructured":"Meseguer, J.: General logics. In: Ebbinghaus, H.-D., Fernandez-Prida, J., Garrido, M., Lascar, D., Rodriquez Artalejo, M. (eds.) Logic Colloquium\u201987, of studies in logic and the foundations of mathematics. Elsevier, Amsterdam (1989)"},{"key":"298_CR31","volume-title":"Symmetries in natural language syntax and semantics: the lambek-grishin calculus in logic, language information and computation","author":"M Moortgat","year":"2007","unstructured":"Moortgat, M.: Symmetries in natural language syntax and semantics: the lambek-grishin calculus in logic, language information and computation. Springer, Cham (2007)"},{"key":"298_CR32","volume-title":"Applied logic: a manifesto. mathematical problems from applied logic I","author":"LS Moss","year":"2006","unstructured":"Moss, L.S.: Applied logic: a manifesto. mathematical problems from applied logic I. Springer, Cham (2006)"},{"issue":"1","key":"298_CR33","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/s11787-009-0005-2","volume":"3","author":"T Mossakowski","year":"2009","unstructured":"Mossakowski, T., Diaconescu, R., Tarlecki, A.: What is a logic translation? Logica Universalis 3(1), 95\u2013124 (2009)","journal-title":"Logica Universalis"},{"key":"298_CR34","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/978-3-7643-8354-1_7","volume-title":"Logica Universalis","author":"T Mossakowski","year":"2007","unstructured":"Mossakowski, T., Goguen, J., Diaconescu, R., Tarlecki, A.: What is a logic? In: Beziau, J.-Y. (ed.) Logica Universalis, pp. 111\u2013133. Basel, Birkh\u00e4user (2007)"},{"key":"298_CR35","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/j.jal.2016.11.036","volume":"21","author":"GK Olkhovikov","year":"2017","unstructured":"Olkhovikov, G.K.: On expressive power of basic modal intuitionistic logic as a fragment of classical FOL. J. Appl. Log. 21, 57\u201390 (2017)","journal-title":"J. Appl. Log."},{"key":"298_CR36","volume-title":"An introduction to non-classical logic","author":"G Priest","year":"2011","unstructured":"Priest, G.: An introduction to non-classical logic. Cambridge University Press, USA (2011)"},{"key":"298_CR37","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780198243113.001.0001","volume-title":"Past, present and future","author":"A Prior","year":"1967","unstructured":"Prior, A.: Past, present and future. Clarendon Press, Oxford (1967)"},{"key":"298_CR38","unstructured":"Restall, G.: An introduction to substructural logics. Routledge, UK (2000)"},{"key":"298_CR39","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4176-8","volume-title":"An introduction to the theory of groups. graduate texts in mathematics","author":"JJ Rotman","year":"1995","unstructured":"Rotman, J.J.: An introduction to the theory of groups. graduate texts in mathematics. Springer, New York (1995)"},{"issue":"03","key":"298_CR40","doi-asserted-by":"publisher","first-page":"979","DOI":"10.2307\/2586685","volume":"65","author":"G Sambin","year":"2000","unstructured":"Sambin, G., Battilotti, G., Faggian, C.: Basic logic: reflection, symmetry, visibility. J. Symbol. Logic 65(03), 979\u20131013 (2000)","journal-title":"J. Symbol. Logic"},{"key":"298_CR41","unstructured":"V\u00e4\u00e4n\u00e4nen, J.: Second-order and higher-order logic. In: Edward,\u00a0N., Zalta, editor, The stanford encyclopedia of philosophy. metaphysics research lab, Stanford University, Fall 2021 edition, (2021)"}],"container-title":["Logica Universalis"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-022-00298-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11787-022-00298-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-022-00298-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,28]],"date-time":"2024-09-28T10:27:01Z","timestamp":1727519221000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11787-022-00298-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,6]]},"references-count":41,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2022,6]]}},"alternative-id":["298"],"URL":"https:\/\/doi.org\/10.1007\/s11787-022-00298-5","relation":{},"ISSN":["1661-8297","1661-8300"],"issn-type":[{"value":"1661-8297","type":"print"},{"value":"1661-8300","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,6]]},"assertion":[{"value":"30 November 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 December 2021","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"3 July 2022","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}