{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T11:48:32Z","timestamp":1759146512066,"version":"3.43.0"},"reference-count":9,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1997,11,1]],"date-time":"1997-11-01T00:00:00Z","timestamp":878342400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,11,1]],"date-time":"1997-11-01T00:00:00Z","timestamp":878342400000},"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,11]]},"DOI":"10.1023\/a:1005036412368","type":"journal-article","created":{"date-parts":[[2002,12,21]],"date-time":"2002-12-21T15:31:12Z","timestamp":1040484672000},"page":"359-386","source":"Crossref","is-referenced-by-count":10,"title":["On the Algebraizability of Annotated Logics"],"prefix":"10.1007","volume":"59","author":[{"given":"Renato A.","family":"Lewin","sequence":"first","affiliation":[]},{"given":"Irene F.","family":"Mikenberg","sequence":"additional","affiliation":[]},{"given":"Mar\u00eda G.","family":"Schwarze","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"149764_CR1","volume-title":"Fundamentos da L\u00f3gica Anotada","author":"J. M. Abe","year":"1992","unstructured":"Abe, J. M., 1992, Fundamentos da L\u00f3gica Anotada, Ph.D. Thesis. University of S\u00e3o Paul, S\u00e3o Paulo."},{"key":"149764_CR2","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1016\/0304-3975(89)90126-6","volume":"68","author":"H. A. a. Blair","year":"1989","unstructured":"Blair, H. A. and Subrahmanian, V. S., 1989, Paraconsistent Logic Programming, Theoretical Computer Science\n68, 135\u2013154.","journal-title":"Theoretical Computer Science"},{"key":"149764_CR3","doi-asserted-by":"crossref","unstructured":"Blok, W. J. and Pigozzi, D., 1989, Algebraizable Logics, Memoirs of the A.M.S.\n77,Nr. 396.","DOI":"10.1090\/memo\/0396"},{"key":"149764_CR4","first-page":"1","volume-title":"Universal Algebra and Quasigroup Theory","author":"W.J. Blok","year":"1992","unstructured":"W.J. Blok, D. Pigozzi, 1992. Algebraic Semantics for Universal Horn Logic without Equality, in A. Romanowska, J. D. H. Smith (eds.), Universal Algebra and Quasigroup Theory, Heldermann, Berlin, 1\u201356."},{"key":"149764_CR5","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1002\/malq.19910370903","volume":"37","author":"N. C. A. da Costa","year":"1991","unstructured":"da Costa, N. C. A., Subrahmanian, V. S. and Vago, C., 1991, The Paraconsistent Logics P\u03c4, Zeitschrift fur Math. Logic\n37, 139\u2013148.","journal-title":"Zeitschrift fur Math. Logic"},{"key":"149764_CR6","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1007\/BF02584057","volume":"40","author":"J. Czelakowski","year":"1981","unstructured":"Czelakowski, J., 1981, Equivalential logics I, II, Studia Logica\n40, 227\u2013236, 335\u2013372.","journal-title":"Studia Logica"},{"key":"149764_CR7","unstructured":"Font, J. and Jansana, R., 1993, A General Algebraic Semantics for Deductive Systems, Preprint. University of Barcelona."},{"key":"149764_CR8","unstructured":"Herrmann, B., 1993, Equivalential Logics and Definability of Truth, Ph.D. Thesis, Freie Universit\u00e4t Berlin, 61 pp."},{"key":"149764_CR9","first-page":"173","volume-title":"Proceedings of the 4th IEEE Symposium on Logic Programming","author":"V. S. Subrahmanian","year":"1987","unstructured":"Subrahmanian, V. S., 1987, On the Semantics of Quantitative Logic Programs, in Proceedings of the 4th IEEE Symposium on Logic Programming, Computer Society Press, Washington D.C., 173\u2013182."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1005036412368.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1005036412368\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1005036412368.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:26:35Z","timestamp":1754630795000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1005036412368"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,11]]},"references-count":9,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1997,11]]}},"alternative-id":["149764"],"URL":"https:\/\/doi.org\/10.1023\/a:1005036412368","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[1997,11]]}}}