{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T09:20:29Z","timestamp":1649150429426},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2013,6,28]],"date-time":"2013-06-28T00:00:00Z","timestamp":1372377600000},"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":[[2013,8]]},"DOI":"10.1007\/s11225-013-9495-2","type":"journal-article","created":{"date-parts":[[2013,6,27]],"date-time":"2013-06-27T01:20:20Z","timestamp":1372296020000},"page":"677-712","source":"Crossref","is-referenced-by-count":0,"title":["Abstract Valuation Semantics"],"prefix":"10.1007","volume":"101","author":[{"given":"Carlos","family":"Caleiro","sequence":"first","affiliation":[]},{"given":"Ricardo","family":"Gon\u00e7alves","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,6,28]]},"reference":[{"key":"9495_CR1","doi-asserted-by":"crossref","unstructured":"Avron, A., Non-deterministic matrices and modular semantics of rules, in J.-Y. B\u00e9ziau, (ed.), Logica universalis, Birkh\u00e4user Verlag, 2005, pp. 149\u2013167.","DOI":"10.1007\/3-7643-7304-0_9"},{"key":"9495_CR2","doi-asserted-by":"crossref","unstructured":"B\u00e9ziau, J.-Y., Classical negation can be expressed by one of its halves, Logic Journal of the IGPL 145\u2013151, 1999.","DOI":"10.1093\/jigpal\/7.2.145"},{"issue":"1","key":"9495_CR3","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(96)00039-4","volume":"165","author":"M. Bidoit","year":"1996","unstructured":"Bidoit M., Hennicker R.: Behavioural theories and the proof of behavioural properties. Theoretical Computer Science 165(1), 3\u201355 (1996)","journal-title":"Theoretical Computer Science"},{"key":"9495_CR4","doi-asserted-by":"crossref","unstructured":"Blok, W., and D. Pigozzi, Algebraizable logics, Memoirs of the AMS 77:396, 1989.","DOI":"10.1090\/memo\/0396"},{"key":"9495_CR5","unstructured":"Blok, W. J., and D. Pigozzi, Algebraic semantics for universal Horn logic without equality, in A. Romanowska, and J. D. H. Smith, (eds.), Universal algebra and quasigroup theory, Lect. Conf., Jadwisin\/Pol. 1989, vol. 19 of Res. Expo. Math., Heldermann, 1992, pp. 1\u201356."},{"key":"9495_CR6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF02314419","volume":"34","author":"S. L. Bloom","year":"1975","unstructured":"Bloom S. L.: Some theorems on structural consequence operations. Studia Logica 34, 1\u20139 (1975)","journal-title":"Studia Logica"},{"key":"9495_CR7","doi-asserted-by":"crossref","unstructured":"Caleiro, C., W. A. Carnielli, M. E. Coniglio, and J. Marcos, Two\u2019s company: The humbug of many logical values, in J.-Y. B\u00e9ziau, (ed.), Logica Universalis, Birkh\u00e4user Verlag, 2005, pp. 169\u2013189.","DOI":"10.1007\/3-7643-7304-0_10"},{"key":"9495_CR8","unstructured":"Caleiro, C., and R. Gon\u00e7alves, Algebraic valuations as behavioral logical matrices, in M. Kanazawa, H. Ono, and R. de Queiroz, (eds.), WoLLIC 2009, Selected Papers, vol. 5514 of Lecture Notes in Artificial Intelligence, Springer-Verlag, 2009, pp. 13\u201325."},{"issue":"2-4","key":"9495_CR9","doi-asserted-by":"crossref","first-page":"191","DOI":"10.3233\/FI-2011-383","volume":"106","author":"C. Caleiro","year":"2011","unstructured":"Caleiro C., Gon\u00e7alves R.: Towards a behavioral algebraic theory of logical valuations. Fundamenta Informaticae 106(2-4), 191\u2013209 (2011)","journal-title":"Fundamenta Informaticae"},{"issue":"1","key":"9495_CR10","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1007\/s11225-009-9163-8","volume":"91","author":"C. Caleiro","year":"2009","unstructured":"Caleiro, C., R. Gonc\u00b8alves, and M. Martins, Behavioral algebraization of logics, Studia Logica 91 (1):63\u2013111, 2009.","journal-title":"Studia Logica"},{"key":"9495_CR11","doi-asserted-by":"crossref","unstructured":"Czelakowski, J., Protoalgebraic logics, vol. 10 of Trends in Logic-Studia Logica Library, Kluwer Academic Publishers, 2001.","DOI":"10.1007\/978-94-017-2807-2"},{"issue":"146","key":"9495_CR12","first-page":"95","volume":"37","author":"N. da Costa","year":"1994","unstructured":"da Costa N., B\u00e9ziau J.-Y.: Th\u00e9orie de la valuation. Logique et Analyse 37(146), 95\u2013117 (1994)","journal-title":"Logique et Analyse"},{"issue":"2","key":"9495_CR13","doi-asserted-by":"crossref","first-page":"194","DOI":"10.1002\/malq.200910131","volume":"57","author":"R. Diaconescu","year":"2011","unstructured":"Diaconescu R.: On quasi-varieties of multiple valued logic models. Mathematical Logic Quarterly 57(2), 194\u2013203 (2011)","journal-title":"Mathematical Logic Quarterly"},{"key":"9495_CR14","doi-asserted-by":"crossref","unstructured":"Fiadeiro, J., and A. Sernadas, Structuring theories on consequence, in D. Sannella, and A. Tarlecki, (eds.), Recent Trends in Data Type Specification, vol. 332 of Lecture Notes in Computer Science, Springer-Verlag, 1988, pp. 44\u201372.","DOI":"10.1007\/3-540-50325-0_3"},{"issue":"3","key":"9495_CR15","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1007\/s11225-009-9180-7","volume":"91","author":"J. Font","year":"2009","unstructured":"Font J.: Taking degrees of truth seriously. Studia Logica 91(3), 383\u2013406 (2009)","journal-title":"Studia Logica"},{"key":"9495_CR16","unstructured":"Font, J., R. Jansana, and D. Pigozzi, A survey of abstract algebraic logic, Studia Logica (Special issue on Abstract Algebraic Logic, Part II) 74 (1-2):13\u201397, 2003. With an update in vol. 91:125\u2013130, 2009."},{"issue":"1","key":"9495_CR17","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.: A hidden agenda. Theoretical Computer Science 245(1), 55\u2013101 (2000)","journal-title":"Theoretical Computer Science"},{"key":"9495_CR18","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1023\/A:1004979825733","volume":"58","author":"B. Herrmann","year":"1997","unstructured":"Herrmann, B., : Characterizing equivalential and algebraizable logics by the Leibniz operator. Studia Logica 58, 305\u2013323 (1997)","journal-title":"Studia Logica"},{"key":"9495_CR19","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1111\/j.1755-2567.2005.tb01011.x","volume":"71","author":"L. Humberstone","year":"1989","unstructured":"Humberstone, L., : B\u00e9ziau\u2019s translation paradox. Theoria 71, 138\u2013181 (1989)","journal-title":"Theoria"},{"key":"9495_CR20","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1016\/S1385-7258(58)50024-9","volume":"20","author":"J. \u0141o\u015b","year":"1958","unstructured":"\u0141o\u015b J., Suszko R.: Remarks on sentential logics. Indagationes Mathematicae 20, 177\u2013183 (1958)","journal-title":"Indagationes Mathematicae"},{"key":"9495_CR21","unstructured":"Martins, M., Behavioral reasoning in generalized hidden logics, Phd Thesis, Faculdade de Cincias, University of Lisbon, 2004."},{"issue":"1-2","key":"9495_CR22","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1016\/j.tcs.2007.01.024","volume":"379","author":"M. Martins","year":"2007","unstructured":"Martins M.: Closure properties for the class of behavioral models. Theoretical Computer Science 379(1-2), 53\u201383 (2007)","journal-title":"Theoretical Computer Science"},{"issue":"5","key":"9495_CR23","doi-asserted-by":"crossref","first-page":"1075","DOI":"10.1017\/S0960129507006305","volume":"17","author":"M. Martins","year":"2007","unstructured":"Martins M., Pigozzi D.: Behavioural reasoning for conditional equations. Mathematical Structures in Computer Science 17(5), 1075\u20131113 (2007)","journal-title":"Mathematical Structures in Computer Science"},{"key":"9495_CR24","doi-asserted-by":"crossref","first-page":"16","DOI":"10.2307\/2268973","volume":"14","author":"D. Nelson","year":"1949","unstructured":"Nelson D.: Constructible falsity. J. Symbolic Logic 14, 16\u201326 (1949)","journal-title":"J. Symbolic Logic"},{"key":"9495_CR25","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":"9495_CR26","unstructured":"Reichel, H., Behavioural validity of conditional equations in abstract data types, in Contributions to general algebra 3, Proc. Conf., Vienna 1984, 1985, pp. 301\u2013324."},{"issue":"1-2","key":"9495_CR27","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/j.tcs.2004.07.027","volume":"327","author":"G. Ro\u015fu","year":"2004","unstructured":"Ro\u015fu G.: Behavioral abstraction is hiding information. Theoretical Computer Science 327(1-2), 197\u2013221 (2004)","journal-title":"Theoretical Computer Science"},{"key":"9495_CR28","unstructured":"Voutsadakis, G., Categorical abstract algebraic logic: Behavioral \u03c0-institutions, Studia Logica, (to appear)."},{"key":"9495_CR29","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-013-9495-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-013-9495-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-013-9495-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,29]],"date-time":"2020-07-29T05:28:28Z","timestamp":1596000508000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-013-9495-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,6,28]]},"references-count":29,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2013,8]]}},"alternative-id":["9495"],"URL":"https:\/\/doi.org\/10.1007\/s11225-013-9495-2","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,6,28]]}}}