{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,27]],"date-time":"2025-09-27T13:20:40Z","timestamp":1758979240768},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540660866"},{"type":"electronic","value":"9783540487548"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48754-9_8","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T12:20:56Z","timestamp":1184588456000},"page":"36-51","source":"Crossref","is-referenced-by-count":25,"title":["Analytic Calculi for Projective Logics"],"prefix":"10.1007","author":[{"given":"Matthias","family":"Baaz","sequence":"first","affiliation":[]},{"given":"Christian G.","family":"Ferm\u00fcller","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,2,11]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-66473-1","volume-title":"Proof Theory","author":"K. Sch\u00fctte","year":"1977","unstructured":"Kurt Sch\u00fctte. Proof Theory. Springer, Berlin and New York, 1977."},{"key":"8_CR2","volume-title":"Many-valued Logic","author":"N. Rescher","year":"1969","unstructured":"Nicholas Rescher. Many-valued Logic. McGraw-Hill, New York, 1969."},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Petr Hajek. Metamathematics of Fuzzy Logic. Kluwer, 1998.","DOI":"10.1007\/978-94-011-5300-3"},{"key":"8_CR4","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. Fundamenta Mathematicae, 60:23\u201333, 1967.","journal-title":"Fundamenta Mathematicae"},{"key":"8_CR5","first-page":"65","volume":"69","author":"K. G\u00f6del","year":"1932","unstructured":"Kurt G\u00f6del. Zum intuitionistischen Aussagenkalk\u00fcl. Anzeiger der Akademie der Wissenschaften in Wien, 69:65\u201366, 1932.","journal-title":"Anzeiger der Akademie der Wissenschaften in Wien"},{"key":"8_CR6","volume-title":"Automated Deduction in Multiple-valued Logics","author":"R. H\u00e4hnle","year":"1993","unstructured":"Reiner H\u00e4hnle. Automated Deduction in Multiple-valued Logics. Clarendon Press, Oxford, 1993."},{"key":"8_CR7","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1017\/S0022481200125848","volume":"24","author":"M. Dummett","year":"1959","unstructured":"Michael Dummett. A propositional logic with denumerable matrix. Journal of Symbolic Logic, 24:96\u2013107, 1959.","journal-title":"Journal of Symbolic Logic"},{"issue":"271","key":"8_CR8","first-page":"95","volume":"9","author":"M.-o. Takahashi","year":"1968","unstructured":"Moto-o Takahashi. Many-valued logics of extended Gentzen style I. Sci. Rep. Tokyo Kyoiku Daigaku Sect. A, 9(271):95\u2013110, 1968.","journal-title":"Sci. Rep. Tokyo Kyoiku Daigaku Sect. A"},{"key":"8_CR9","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/BF01201353","volume":"39","author":"G. Gentzen","year":"1934","unstructured":"Gerhard Gentzen. Untersuchungen \u00fcber das logische Schlie\u00dfen I\u2013II. Mathematische Zeitschrift, 39:176\u2013210 and 405\u2013431, 1934\u201335.","journal-title":"Mathematische Zeitschrift"},{"key":"8_CR10","series-title":"Technical Report","volume-title":"Computer support for the development and investigation of logics","author":"H. J. Ohlbach","year":"1994","unstructured":"Hans J\u00fcrgen Ohlbach. Computer support for the development and investigation of logics. Technical Report MPI-I-94-228, Max-Planck-Institut f\u00fcr Informatik, Saarbr\u00fccken, Germany, 1994."},{"issue":"199","key":"8_CR11","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/BF01531058","volume":"4","author":"A. Avron","year":"1991","unstructured":"Arnon Avron. Hypersequents, logical consequence and intermediate logics for concurrency. Annals of Mathematics and Artificial Intelligence, 4(199):225\u2013248, 1991.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"8_CR12","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1006\/jsco.1995.1021","volume":"19","author":"M. Baaz","year":"1995","unstructured":"Matthias Baaz and Christian G. Ferm\u00fcller. Resolution-based theorem proving for many-valued logics. Journal of Symbolic Computation, 19:353\u2013391, 1995.","journal-title":"Journal of Symbolic Computation"},{"key":"8_CR13","unstructured":"Arnon Avron. The method of hypersequents in proof theory of propositional nonclassical logics. In Logic: from foundations to applications. European logic colloquium, Keele, UK, July 20\u201329, 1993, pages 1\u201332, Oxford, 1996. Clarendon Press."},{"key":"8_CR14","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1007\/3-540-61511-3_84","volume":"1104","author":"M. Baaz","year":"1996","unstructured":"Matthias Baaz, Gernot Salzer, Christian G. Ferm\u00fcller, and Richard Zach. MUlt-log 1.0: Towards an expert system for many-valued logics. In 13th Int. Conf. on Automated Deduction (CADE\u201996), volume 1104 of Lecture Notes in Artificial Intelligence, pages 226\u2013230. Springer, 1996.","journal-title":"13th Int. Conf. on Automated Deduction (CADE\u201996)"},{"issue":"6","key":"8_CR15","first-page":"333","volume":"29","author":"M. Baaz","year":"1994","unstructured":"Matthias Baaz, Christian G. Ferm\u00fcller, and Richard Zach. Elimination of cuts in first-order finite-valued logics. J. Inform. Process. Cybernet.\n                           EIK, 29(6):333\u2013355, 1994.","journal-title":"J. Inform. Process. Cybernet."}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning with Analytic Tableaux and Related Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48754-9_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,17]],"date-time":"2019-01-17T14:09:31Z","timestamp":1547734171000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48754-9_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540660866","9783540487548"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-48754-9_8","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}