{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:27:18Z","timestamp":1761611238678},"reference-count":44,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2009,1,23]],"date-time":"2009-01-23T00:00:00Z","timestamp":1232668800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2009,2]]},"DOI":"10.1007\/s11225-009-9163-8","type":"journal-article","created":{"date-parts":[[2009,1,22]],"date-time":"2009-01-22T06:20:59Z","timestamp":1232605259000},"page":"63-111","source":"Crossref","is-referenced-by-count":10,"title":["Behavioral Algebraization of Logics"],"prefix":"10.1007","volume":"91","author":[{"given":"Carlos","family":"Caleiro","sequence":"first","affiliation":[]},{"given":"Ricardo","family":"Gon\u00e7alves","sequence":"additional","affiliation":[]},{"given":"Manuel","family":"Martins","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2009,1,23]]},"reference":[{"key":"9163_CR1","doi-asserted-by":"crossref","unstructured":"Avron, A., \u2018Non-deterministic matrices and modular semantics of rules\u2019, in Logica Universalis, Birkh\u00e4user, 2005, pp. 149\u2013167.","DOI":"10.1007\/3-7643-7304-0_9"},{"key":"9163_CR2","unstructured":"B\u00e9ziau, J-Y., \u2018Non truth-functional many-valuedness\u2019, in Aspects of universal logic, vol. 17 of Travaux Log., Univ. Neuch\u00e2tel, Neuch\u00e2tel, 2004, pp. 199\u2013218."},{"key":"9163_CR3","doi-asserted-by":"crossref","first-page":"396","DOI":"10.1090\/memo\/0396","volume":"77","author":"W. Blok","year":"1989","unstructured":"Blok, W., and D. Pigozzi, \u2018Algebraizable logics\u2019, Memoirs of the AMS 77 (1989), 396.","journal-title":"Memoirs of the AMS"},{"key":"9163_CR4","unstructured":"Blok, W., and D. Pigozzi, \u2018Algebraic semantics for universal Horn logic without equality\u2019, in Universal algebra and quasigroup theory, Lect. Conf., Jadwisin\/Pol. 1989, vol. 19, 1992, pp. 1\u201356."},{"key":"9163_CR5","doi-asserted-by":"crossref","unstructured":"Burris, S., and H. P. Sankappanavar, A course in universal algebra., Graduate Texts in Mathematics, Vol. 78. New York - Heidelberg Berlin: Springer-Verlag., 1981.","DOI":"10.1007\/978-1-4613-8130-3"},{"issue":"2","key":"9163_CR6","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1023\/A:1022301711366","volume":"12","author":"C. Caleiro","year":"2003","unstructured":"Caleiro C., Carnielli W., Coniglio M., Sernadas A., Sernadas C.: \u2018Fibring non-truth-functional logics: Completeness preservation\u2019. Journal of Logic, Language and Information 12(2), 183\u2013211 (2003)","journal-title":"Journal of Logic, Language and Information"},{"key":"9163_CR7","doi-asserted-by":"crossref","unstructured":"Caleiro, C., and R. Gon\u00e7alves, \u2018On the algebraization of many-sorted logics\u2019, in J. Fiadeiro, and P.-Y. Schobbens (eds.), Recent Trends in Algebraic Development Techniques \u2013 Selected Papers, vol. 4409 of Lecture Notes in Computer Science, Springer-Verlag, 2007, pp. 21\u201336.","DOI":"10.1007\/978-3-540-71998-4_2"},{"key":"9163_CR8","unstructured":"Caleiro, C., and R. Gon\u00e7alves, \u2018An algebraic perspective on valuation semantics\u2019, Preprint, SQIG - IT and IST - TU Lisbon, 2008. Submitted for publication, Abstract to appear in Bulletin of Symbolic Logic."},{"key":"9163_CR9","doi-asserted-by":"crossref","unstructured":"Caleiro, C., and R. Gon\u00e7alves, \u2018Behavioral algebraization of da Costa\u2019s $${\\mathcal {C}}$$ -systems\u2019, Journal of Applied Non-Classical Logics, (2008). To appear.","DOI":"10.3166\/jancl.19.127-148"},{"key":"9163_CR10","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1007\/BF00935742","volume":"43","author":"W.A. Carnielli","year":"1984","unstructured":"Carnielli W.A., de Alcantara L.P.: \u2018Paraconsistent algebras\u2019. Studia Logica 43, 79\u201388 (1984)","journal-title":"Studia Logica"},{"key":"9163_CR11","doi-asserted-by":"crossref","unstructured":"Czelakowski, J., Protoalgebraic logics, vol. 10 of Trends in Logic\u2014Studia Logica Library, Kluwer Academic Publishers, 2001.","DOI":"10.1007\/978-94-017-2807-2"},{"issue":"2","key":"9163_CR12","doi-asserted-by":"crossref","first-page":"641","DOI":"10.2307\/2586559","volume":"65","author":"J. Czelakowski","year":"2000","unstructured":"Czelakowski J., Jansana R.: \u2018Weakly algebraizable logics\u2019. J. Symbolic Logic 65(2), 641\u2013668 (2000)","journal-title":"J. Symbolic Logic"},{"key":"9163_CR13","unstructured":"Czelakowski, J., and D. Pigozzi, \u2018Amalgamation and interpolation in abstract algebraic logic.\u2019, in X. Caicedo et\u00a0al. (ed.), Models, algebras, and proofs. Marcel Dekker. Lect. Notes Pure Appl. Math. 203, 1999, pp. 187\u2013265."},{"key":"9163_CR14","unstructured":"da Costa, N., Sistemas Formais Inconsistentes, Cathedra Thesis, UFPR, Published by Editora UFPR in 1993, Brazil, 1963."},{"key":"9163_CR15","first-page":"A423","volume":"263","author":"N. da Costa","year":"1966","unstructured":"da Costa N.: \u2018Op\u00e9rations non monotones dans les treillis\u2019. Comptes Rendus de l\u2019Academie de Sciences de Paris 263, A423\u2013A429 (1966)","journal-title":"Comptes Rendus de l\u2019Academie de Sciences de Paris"},{"key":"9163_CR16","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1305\/ndjfl\/1093891487","volume":"15","author":"N. da Costa","year":"1974","unstructured":"da Costa N.: \u2018On the theory of inconsistent formal systems\u2019. Notre Dame Journal of Formal Logic 15, 497\u2013510 (1974)","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"146","key":"9163_CR17","first-page":"95","volume":"37","author":"N. da Costa","year":"1994","unstructured":"da Costa N., B\u00e9ziau J-Y.: \u2018Th\u00e9orie de la valuation\u2019. Logique et Anal. (N.S.) 37(146), 95\u2013117 (1994)","journal-title":"Logique et Anal. (N.S.)"},{"key":"9163_CR18","doi-asserted-by":"crossref","unstructured":"Dunn, J. M., \u2018Gaggle theory: an abstraction of Galois connections and residuation, with applications to negation, implication, and various logical operators\u2019, in Logics in AI (Amsterdam, 1990), vol. 478 of Lecture Notes in Comput. Sci., Springer, Berlin, 1991, pp. 31\u201351.","DOI":"10.1007\/BFb0018431"},{"issue":"1\u20132","key":"9163_CR19","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1023\/A:1024621922509","volume":"74","author":"J. Font","year":"2003","unstructured":"Font J., Jansana R., Pigozzi D.: \u2018A survey of abstract algebraic logic\u2019. Studia Logica 74(1\u20132), 13\u201397 (2003)","journal-title":"Studia Logica"},{"issue":"6","key":"9163_CR20","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1007\/PL00003848","volume":"40","author":"J.M. Font","year":"2001","unstructured":"Font J.M., Jansana R.: \u2018Leibniz filters and the strong version of a protoalgebraic logic.\u2019, Arch. Math. Logic 40(6), 437\u2013465 (2001)","journal-title":"Arch. Math. Logic"},{"issue":"1","key":"9163_CR21","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1016\/S0304-3975(99)00275-3","volume":"245","author":"J. Goguen","year":"2000","unstructured":"Goguen J., Malcolm G.: \u2018A hidden agenda\u2019. Theoretical Computer Science 245(1), 55\u2013101 (2000)","journal-title":"Theoretical Computer Science"},{"key":"9163_CR22","unstructured":"Gon\u00e7alves, R., Behavioral algebraization of logics, Phd Thesis, Instituto Superior T\u00e9cnico, Technical University of Lisbon, 2008. Available from http:\/\/wslc.math.ist.utl.pt\/ftp\/pub\/GoncalvesR\/08-G-PhDthesis.pdf ."},{"key":"9163_CR23","doi-asserted-by":"crossref","first-page":"419","DOI":"10.1007\/BF00370843","volume":"57","author":"B. Herrmann","year":"1996","unstructured":"Herrmann B.: \u2018Characterizing equivalential and algebraizable logics by the Leibniz operator\u2019. Studia Logica 57, 419\u2013436 (1996)","journal-title":"Studia Logica"},{"issue":"1","key":"9163_CR24","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1023\/A:1004222213212","volume":"27","author":"M. Kracht","year":"1998","unstructured":"Kracht M.: \u2018On extensions of intermediate logics by strong negation.\u2019, J. Philosophic Logic 27(1), 49\u201373 (1998)","journal-title":"J. Philosophic Logic"},{"issue":"4","key":"9163_CR25","doi-asserted-by":"crossref","first-page":"609","DOI":"10.1305\/ndjfl\/1093635932","volume":"32","author":"R. Lewin","year":"1991","unstructured":"Lewin R., Mikenberg I., Schwarze M.: \u2018 $${\\mathcal {C}_{1}}$$ is not algebraizable\u2019. Notre Dame Journal of Formal Logic 32(4), 609\u2013611 (1991)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9163_CR26","unstructured":"Martins, M., Behavioral reasoning in generalized hidden logics, Phd Thesis, Faculdade de Ci\u00eancias, University of Lisbon, 2004."},{"issue":"1-2","key":"9163_CR27","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1016\/j.tcs.2007.01.024","volume":"379","author":"M.A. Martins","year":"2007","unstructured":"Martins M.A.: \u2018Closure properties for the class of behavioral models\u2019. Theor. Comput. Sci. 379(1-2), 53\u201383 (2007)","journal-title":"Theor. Comput. Sci."},{"issue":"5","key":"9163_CR28","doi-asserted-by":"crossref","first-page":"771","DOI":"10.1016\/j.ic.2006.02.001","volume":"204","author":"P. Mateus","year":"2006","unstructured":"Mateus P., Sernadas A.: \u2018Weakly complete axiomatization of exogenous quantum propositional logic\u2019. Information and Computation 204(5), 771\u2013794 (2006)","journal-title":"Information and Computation"},{"key":"9163_CR29","doi-asserted-by":"crossref","unstructured":"Meinke, K., and J. V. Tucker, \u2018Universal algebra\u2019, in Handbook of logic in computer science, vol. 1 of Handb. Log. Comput. Sci., Oxford Univ. Press, New York, 1992, pp. 189\u2013411.","DOI":"10.1093\/oso\/9780198537359.003.0003"},{"key":"9163_CR30","doi-asserted-by":"crossref","first-page":"694","DOI":"10.1305\/ndjfl\/1093883254","volume":"21","author":"C. Mortensen","year":"1980","unstructured":"Mortensen C.: \u2018Every quotient algebra for $${\\mathcal {C}_{1}}$$ is trivial\u2019. Notre Dame Journal of Formal Logic 21, 694\u2013700 (1980)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9163_CR31","doi-asserted-by":"crossref","first-page":"16","DOI":"10.2307\/2268973","volume":"14","author":"D. Nelson","year":"1949","unstructured":"Nelson D.: \u2018Constructible falsity\u2019. J. Symbolic Logic 14, 16\u201326 (1949)","journal-title":"J. Symbolic Logic"},{"key":"9163_CR32","first-page":"30","volume":"3","author":"T. Prucnal","year":"1974","unstructured":"Prucnal T., Wro\u0144ski A.: \u2018An algebraic characterization of the notion of structural completness\u2019. Bull. Sect. Logic, Polish Acad. Sci., Inst. Philos. and Socio. 3, 30\u201333 (1974)","journal-title":"Bull. Sect. Logic, Polish Acad. Sci., Inst. Philos. and Socio."},{"key":"9163_CR33","unstructured":"Rasiowa, H., An algebraic approach to non-classical logics, Studies in logic and the foundations of mathematics, 78. Amsterdam : North-Holland, 1974, 1981."},{"key":"9163_CR34","unstructured":"Reichel, H., \u2018Behavioural validity of conditional equations in abstract data types\u2019, in Contributions to general algebra 3, Proc. Conf., Vienna 1984 1985, pp. 301\u2013324."},{"key":"9163_CR35","doi-asserted-by":"crossref","unstructured":"Rosu, G., \u2018A Birkhoff-like axiomatizability result for hidden algebra and coalgebra\u2019, in B. Jacobs et\u00a0al, (ed.), Proc. of CMCS\u201998, vol. 11 of Electronic Notes in Theoretical Computer Science, Elsevier Science, 1998, pp. 179\u2013196.","DOI":"10.1016\/S1571-0661(04)00058-1"},{"key":"9163_CR36","unstructured":"Rosu, G., Hidden Logic, Ph.D. thesis, University of California at San Diego, 2000."},{"issue":"1-2","key":"9163_CR37","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/j.tcs.2004.07.027","volume":"327","author":"G. Rosu","year":"2004","unstructured":"Rosu G.: \u2018Behavioral abstraction is hiding information\u2019. Theoretical Computer Science 327(1-2), 197\u2013221 (2004)","journal-title":"Theoretical Computer Science"},{"key":"9163_CR38","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1007\/BF02429842","volume":"43","author":"A. Sendlewski","year":"1984","unstructured":"Sendlewski A.: \u2018Some investigations of varieties of N-lattices\u2019. Studia Logica 43, 257\u2013280 (1984)","journal-title":"Studia Logica"},{"issue":"1","key":"9163_CR39","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1007\/BF00401557","volume":"49","author":"A. Sendlewski","year":"1990","unstructured":"Sendlewski A.: \u2018Nelson algebras through Heyting ones. I.\u2019, Studia Logica 49(1), 105\u2013126 (1990)","journal-title":"Studia Logica"},{"issue":"2","key":"9163_CR40","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1093\/logcom\/9.2.149","volume":"9","author":"A. Sernadas","year":"1999","unstructured":"Sernadas A., Sernadas C., Caleiro C.: \u2018Fibring of logics as a categorial construction\u2019. Journal of Logic and Computation 9(2), 149\u2013179 (1999)","journal-title":"Journal of Logic and Computation"},{"key":"9163_CR41","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/s11225-008-9113-x","volume":"88","author":"M. Spinks","year":"2008","unstructured":"Spinks M., Veroff R.: \u2018 Constructive Logic with Strong Negation is a Substructural Logic. I.\u2019, Studia Logica 88, 325\u2013248 (2008)","journal-title":"Studia Logica"},{"key":"9163_CR42","doi-asserted-by":"crossref","unstructured":"Tarski, A., \u2018Fundamentale begriffe der methodologie der deduktiven wissenschaften. i\u2019, Monatshefte f\u00fcr Mathematik and Physik 37 (1930), 361\u2013404. English translation in: Fundamental concepts of the methodology of the deductive systems.","DOI":"10.1007\/BF01696782"},{"key":"9163_CR43","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/BF02121118","volume":"36","author":"D. Vakarelov","year":"1977","unstructured":"Vakarelov D.: \u2018Notes on N-lattices and constructive logic with strong negation\u2019. Studia Logica 36, 109\u2013125 (1977)","journal-title":"Studia Logica"},{"key":"9163_CR44","doi-asserted-by":"crossref","unstructured":"W\u00f3jcicki, R., Theory of Logical Calculi, Synthese Library, Kluwer Academic Publishers, 1988.","DOI":"10.1007\/978-94-015-6942-2"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-009-9163-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-009-9163-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-009-9163-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,9]],"date-time":"2024-03-09T09:57:52Z","timestamp":1709978272000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-009-9163-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,1,23]]},"references-count":44,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2009,2]]}},"alternative-id":["9163"],"URL":"https:\/\/doi.org\/10.1007\/s11225-009-9163-8","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,1,23]]}}}