{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:22:58Z","timestamp":1725664978187},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540615118"},{"type":"electronic","value":"9783540686873"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61511-3_84","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:49:36Z","timestamp":1330292976000},"page":"226-230","source":"Crossref","is-referenced-by-count":18,"title":["MUltlog 1.0: Towards an expert system for many-valued logics"],"prefix":"10.1007","author":[{"given":"Matthias","family":"Baaz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian G.","family":"Ferm\u00fcller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gernot","family":"Salzer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard","family":"Zach","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"key":"21_CR1","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1006\/jsco.1995.1021","volume":"19","author":"M. Baaz","year":"1995","unstructured":"M. Baaz and C. G. Ferm\u00fcller. Resolution-based theorem proving for many-valued logics. J. Symbolic Computation, 19:353\u2013391, 1995.","journal-title":"J. Symbolic Computation"},{"key":"21_CR2","doi-asserted-by":"crossref","unstructured":"M. Baaz, C. G. Ferm\u00fcller, A. Ovrutcki, and R. Zach. MULTLOG: A system for axiomatizing many-valued logics. In A. Voronkov, editor, Logic Programming and Automated Reasoning (LPAR'93), LNCS 698 (LNAI), pages 345\u2013347. Springer, 1993.","DOI":"10.1007\/3-540-56944-8_66"},{"key":"21_CR3","first-page":"208","volume-title":"Systematic construction of natural deduction systems for many-valued logics","author":"M. Baaz","year":"1993","unstructured":"M. Baaz, C. G. Ferm\u00fcller, and R. Zach. Systematic construction of natural deduction systems for many-valued logics. In Proc. 23rd International Symposium on Multiple-valued Logic, pages 208\u2013215. IEEE Computer Society Press, Los Alamitos, May 24\u201327 1993."},{"issue":"6","key":"21_CR4","first-page":"333","volume":"29","author":"M. Baaz","year":"1994","unstructured":"M. Baaz, C. G. Ferm\u00fcller, and R. Zach. Elimination of cuts in first-order finitevalued logics. J. Inform. Process. Cybernet. (EIK), 29(6):333\u2013355, 1994.","journal-title":"J. Inform. Process. Cybernet. (EIK)"},{"key":"21_CR5","first-page":"257","volume-title":"Approximatig prepositional calculi by finite-valued logics","author":"M. Baaz","year":"1994","unstructured":"M. Baaz and R. Zach. Approximatig prepositional calculi by finite-valued logics. In Proc. 24th International Symposium on Multiple-valued Logic, pages 257\u2013263. IEEE Press, Los Alamitos, May 25\u201327 1994."},{"issue":"2","key":"21_CR6","doi-asserted-by":"crossref","first-page":"473","DOI":"10.2307\/2274395","volume":"52","author":"W. A. Carnielli","year":"1987","unstructured":"W. A. Carnielli. Systematization of finite many-valued logics through the method of tableaux. J. Symbolic Logic, 52(2):473\u2013493, 1987.","journal-title":"J. Symbolic Logic"},{"key":"21_CR7","volume-title":"Automated Deduction in Multiple-valued Logics","author":"R. H\u00e4hnle","year":"1993","unstructured":"R. H\u00e4hnle. Automated Deduction in Multiple-valued Logics. Clarendon Press, Oxford, 1993."},{"issue":"3","key":"21_CR8","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/BF01530787","volume":"12","author":"R. H\u00e4hnle","year":"1994","unstructured":"R. H\u00e4hnle. Many-valued logic and mixed integer programming. Annals of Mathematics and Artificial Intelligence, 12(3,4):231\u2013264, Dec. 1994.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"21_CR9","volume-title":"Commodious axiomatization of quantifiers in multiple-valued logic","author":"R. H\u00e4hnle","year":"1996","unstructured":"R. H\u00e4hnle. Commodious axiomatization of quantifiers in multiple-valued logic. In Proc. 26th International Symposium on Multiple-Valued Logics, Santiago de Compostela, Spain. IEEE Press, Los Alamitos, May 1996."},{"key":"21_CR10","doi-asserted-by":"crossref","first-page":"23","DOI":"10.4064\/fm-60-1-23-33","volume":"60","author":"G. Rousseau","year":"1967","unstructured":"G. Rousseau. Sequents in many valued logic I. Fund. Math., 60:23\u201333, 1967.","journal-title":"Fund. Math."},{"key":"21_CR11","doi-asserted-by":"crossref","unstructured":"G. Salzer. Optimal axiomatizations for multiple-valued operators and quantifiers based on semi-lattices. In 13th Int. Conf. on Automated Deduction (CADE'96), LNCS (LNAI). Springer, 1996.","DOI":"10.1007\/3-540-61511-3_122"},{"key":"21_CR12","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1002\/malq.19550010402","volume":"1","author":"K. Schr\u00f6ter","year":"1955","unstructured":"K. Schr\u00f6ter. Methoden zur Axiomatisierung beliebiger Aussagen-und Pr\u00e4dikatenkalk\u00fcle. Z. Math. Logik Grundlag. Math., 1:241\u2013251, 1955.","journal-title":"Z. Math. Logik Grundlag. Math."},{"key":"21_CR13","unstructured":"N. Zabel. Nouvelles Techniques de D\u00e9duction Automatique en Logiques Polyvalentes Finies et Infinies du Premier Ordre. PhD thesis, Institut National Polytechnique de Grenoble, 1993."}],"container-title":["Lecture Notes in Computer Science","Automated Deduction \u2014 Cade-13"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61511-3_84.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:07:24Z","timestamp":1605647244000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61511-3_84"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540615118","9783540686873"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-61511-3_84","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}