{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T01:22:51Z","timestamp":1755220971359,"version":"3.43.0"},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1997,3,1]],"date-time":"1997-03-01T00:00:00Z","timestamp":857174400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,3,1]],"date-time":"1997-03-01T00:00:00Z","timestamp":857174400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Studia Logica"],"published-print":{"date-parts":[[1997,3]]},"DOI":"10.1023\/a:1004979825733","type":"journal-article","created":{"date-parts":[[2002,12,21]],"date-time":"2002-12-21T15:24:14Z","timestamp":1040484254000},"page":"305-323","source":"Crossref","is-referenced-by-count":38,"title":["Characterizing Equivalential and Algebraizable Logics by the Leibniz Operator"],"prefix":"10.1007","volume":"58","author":[{"given":"Burghard","family":"Herrmann","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"132591_CR1","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/BF00370269","volume":"45","author":"W. J. Blok","year":"1986","unstructured":"BLOK, W. J., D. PIGOZZI, 1986, \u2018Protoalgebraic Logics\u2019, Studia Logica\n45, 337-369.","journal-title":"Studia Logica"},{"key":"132591_CR2","doi-asserted-by":"crossref","unstructured":"BLOK, W. J., D. PIGOZZI, 1989, \u2018Algebraizable Logics\u2019, Memoirs of the Am. Math. Soc.\n396.","DOI":"10.1090\/memo\/0396"},{"key":"132591_CR3","first-page":"1","volume-title":"Universal Algebra and Quasigroup Theory","author":"W. J. Blok","year":"1992","unstructured":"BLOK, W. J., D. PIGOZZI, 1992, \u2018Algebraic Semantics for Universal Horn Logic without Equality\u2019, in A. Romanowska, J. D. H. Smith (eds.) Universal Algebra and Quasigroup Theory, Heldermann, Berlin, 1-56."},{"key":"132591_CR4","doi-asserted-by":"crossref","unstructured":"BURRIS, S., H.-P. SANKAPPANAVAR, 1981, A Course in Universal Algebra, Berlin.","DOI":"10.1007\/978-1-4613-8130-3"},{"key":"132591_CR5","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1007\/BF02584057","volume":"40","author":"J. Czelakowski","year":"1981","unstructured":"CZELAKOWSKI, J., 1981, \u2018Equivalential Logics (I), (II)\u2019, Studia Logica\n40, 227-236, 355\u2013372.","journal-title":"Studia Logica"},{"key":"132591_CR6","unstructured":"CZELAKOWSKI, J., 1992, \u2018Consequence Operations Foundational Studies\u2019, Reports of the Research Project Theories, Models, Cognitive Schemata, Polish Academy of Science, (Prepublication)."},{"key":"132591_CR7","unstructured":"CZELAKOWSKI, J., Beyond Protoalgebraic Logics. The Suszko Operator, Manuscript."},{"key":"132591_CR8","unstructured":"CZELAKOWSKI, J., 1994, Logic, Algebra, Consequence Operations, preliminary version."},{"key":"132591_CR9","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1007\/BF00370679","volume":"50","author":"J. Czelakowski","year":"1991","unstructured":"CZELAKOWSKI, J., W. DZIOBIAK, 1991, \u2018A Deduction Theorem Scheme for Deductive Systems of Propositional Logics\u2019, Studia Logica\n50, 385-390.","journal-title":"Studia Logica"},{"key":"132591_CR10","unstructured":"FONT, J. M., R. JJANSANA, 1993, A general algebraic semantics for deductive systems, Preliminary version, University Barcelona."},{"key":"132591_CR11","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1007\/BF00370680","volume":"50","author":"J. M. Font","year":"1991","unstructured":"Font, J. M., V. Verd\u00da, 1991, \u2018Algebraic Logic for Classical Conjunction and Disjunction\u2019, Studia Logica\n50, 391-419.","journal-title":"Studia Logica"},{"key":"132591_CR12","first-page":"183","volume-title":"Algebraic Logic","author":"J. M. Font","year":"1991","unstructured":"Font, J. M., V. Verd\u00da, 1991, \u2018Algebraic Logic for some Non-protoalgebraizable Logics\u2019, in H. Andr\u00e9ka, J. D. Monk, I. N\u00e9meti (eds.), Algebraic Logic, North-Holland, Amsterdam. 183-188."},{"key":"132591_CR13","unstructured":"HERRMANN, B., 1993, Equivalential Logics and Definability of Truth, Ph. D. Dissertation, Freie Universit\u00e4t Berlin."},{"key":"132591_CR14","doi-asserted-by":"crossref","first-page":"419","DOI":"10.1007\/BF00370843","volume":"57","author":"B. Herrmann","year":"1996","unstructured":"HERRMANN, B., 1996, \u2018Equivalential and Algebraizable Logics\u2019, Studia Logica\n57, 419-436.","journal-title":"Studia Logica"},{"key":"132591_CR15","doi-asserted-by":"crossref","first-page":"612","DOI":"10.1007\/BF01236512","volume":"31","author":"B. Herrmann","year":"1994","unstructured":"HERRMANN, B., F. WOLTER, 1994, \u2018Representations of Algebraic Lattices\u2019, Algebra Universalis\n31, 612-613.","journal-title":"Algebra Universalis"},{"key":"132591_CR16","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1002\/malq.19920380131","volume":"38","author":"B. Herrmann","year":"1992","unstructured":"HERRMANN, B., W. RAUTENBERG, 1992, \u2018Finite Replacement and Finite Axiomatizability in Logic\u2019, Zeitschrift f\u00fcr math. Logik und Grundlagen der Math.\n38, 327-344.","journal-title":"Zeitschrift f\u00fcr math. Logik und Grundlagen der Math."},{"key":"132591_CR17","volume-title":"Model Theory for Infinitary Logic","author":"H. J. Keisler","year":"1971","unstructured":"KEISLER, H. J., 1971, Model Theory for Infinitary Logic, North-Holland, Amsterdam."},{"key":"132591_CR18","first-page":"30","volume":"3","author":"T. Prucnal","year":"1974","unstructured":"Prucnal, T., A. Wro\u0143ski, 1974, \u2018An Algebraic Characterization of the Notion of Structural Completeness\u2019, Bulletin of the Section of Logic of the Polish Academy of Sciences\n3, 30-33.","journal-title":"Bulletin of the Section of Logic of the Polish Academy of Sciences"},{"key":"132591_CR19","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1007\/BF00401653","volume":"40","author":"W. Rautenberg","year":"1981","unstructured":"RAUTENBERG, W., 1981, \u20182-Element Matrices\u2019, Studia Logica\n40, 315-353.","journal-title":"Studia Logica"},{"key":"132591_CR20","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1007\/BF01053064","volume":"52","author":"W. Rautenberg","year":"1993","unstructured":"RAUTENBERG, W., 1993, \u2018On Reduced Matrices\u2019, Studia Logica\n52, 63-72.","journal-title":"Studia Logica"},{"key":"132591_CR21","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-6942-2","volume-title":"Theory of Logical Calculi","author":"R. W\u00d3jcicki","year":"1988","unstructured":"W\u00d3jcicki, R., 1988, Theory of Logical Calculi, Kluwer, Dordrecht."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1004979825733.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1004979825733\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1004979825733.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:31:07Z","timestamp":1754631067000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1004979825733"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,3]]},"references-count":21,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1997,3]]}},"alternative-id":["132591"],"URL":"https:\/\/doi.org\/10.1023\/a:1004979825733","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[1997,3]]}}}