{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,31]],"date-time":"2023-01-31T10:27:38Z","timestamp":1675160858340},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2010,2,9]],"date-time":"2010-02-09T00:00:00Z","timestamp":1265673600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Log. Univers."],"published-print":{"date-parts":[[2010,3]]},"DOI":"10.1007\/s11787-010-0013-2","type":"journal-article","created":{"date-parts":[[2010,2,8]],"date-time":"2010-02-08T05:43:22Z","timestamp":1265607802000},"page":"41-66","source":"Crossref","is-referenced-by-count":1,"title":["Many-Place Sequent Calculi for Finitely-Valued Logics"],"prefix":"10.1007","volume":"4","author":[{"given":"Alexej P.","family":"Pynko","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,2,9]]},"reference":[{"key":"13_CR1","first-page":"89","volume":"28","author":"J.-Y. B\u00e9ziau","year":"1999","unstructured":"B\u00e9ziau J.-Y.: A sequent calculus for \u0141ukasiewicz\u2019s three-valued logic based on Suszko\u2019s bivalent semantics. Bull. Sect. Logic Univ. 28, 89\u201397 (1999)","journal-title":"Bull. Sect. Logic Univ."},{"key":"13_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1017\/S0022481200092161","volume":"35","author":"J.M. Dunn","year":"1970","unstructured":"Dunn J.M.: Algebraic completeness results for R-mingle and its extensions. J. Symbolic Logic 35, 1\u201313 (1970)","journal-title":"J. Symbolic Logic"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"Gentzen, G.: Untersuchungen \u00fcber das logische Schliessen. Math. Z. 39, 176\u2013210, 405\u2013431 (1934)","DOI":"10.1007\/BF01201353"},{"key":"13_CR4","first-page":"65","volume":"69","author":"K. G\u00f6del","year":"1932","unstructured":"G\u00f6del K.: Zum intuitionistischen Aussagenkalk\u00fcl. Anz. Akad. Wiss. Wien 69, 65\u201366 (1932)","journal-title":"Anz. Akad. Wiss. Wien"},{"key":"13_CR5","first-page":"170","volume":"5","author":"J. Lukasiewicz","year":"1920","unstructured":"Lukasiewicz J.: O logice tr\u00f3jwarto\u015bciowej. Ruch Filoz. 5, 170\u2013171 (1920)","journal-title":"Ruch Filoz."},{"key":"13_CR6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0168-0072(98)00058-X","volume":"98","author":"A.P. Pynko","year":"1999","unstructured":"Pynko A.P.: Definitional equivalence and algebraizability of generalized logical systems. Ann. Pure Appl. Logic 98, 1\u201368 (1999)","journal-title":"Ann. Pure Appl. Logic"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"Pynko, A.P.: Functional completeness and axiomatizability within Belnap\u2019s four-valued logic and its expansions. J. Appl. Non-Classical Logics 9(1\/2), 61\u2013105 (1999), Special Issue on Multi-Valued Logics","DOI":"10.1080\/11663081.1999.10510958"},{"key":"13_CR8","unstructured":"Pynko, A.P.: The completeness of derivable rules of labeled calculi for finite-valued logics. Bull. Symbolic Logic 8(1), 175\u2013176 (2002), Abstract"},{"key":"13_CR9","first-page":"339","volume":"10","author":"A.P. Pynko","year":"2004","unstructured":"Pynko A.P.: Semantics of multiplicative propositional signed sequent calculi with structural rules. J. Multiple-Valued Logic Soft Comput. 10, 339\u2013362 (2004)","journal-title":"J. Multiple-Valued Logic Soft Comput."},{"issue":"1","key":"13_CR10","first-page":"23","volume":"33","author":"A.P. Pynko","year":"2004","unstructured":"Pynko A.P.: Sequential calculi for many-valued logics with equality determinant. Bull. Sect. Logic 33(1), 23\u201332 (2004)","journal-title":"Bull. Sect. Logic"},{"key":"13_CR11","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1007\/s00153-005-0302-2","volume":"45","author":"A.P. Pynko","year":"2006","unstructured":"Pynko A.P.: A relative interpolation theorem for infinitary universal Horn logic and its applications. Arch. Math. Logic 45, 267\u2013305 (2006)","journal-title":"Arch. Math. Logic"},{"issue":"1","key":"13_CR12","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1007\/s11787-009-0001-6","volume":"3","author":"A.P. Pynko","year":"2009","unstructured":"Pynko A.P.: Distributive-lattice semantics of sequent calculi with structural rules. Logica Universalis 3(1), 59\u201394 (2009)","journal-title":"Logica Universalis"},{"key":"13_CR13","doi-asserted-by":"crossref","first-page":"23","DOI":"10.4064\/fm-60-1-23-33","volume":"60","author":"G. Rousseau","year":"1967","unstructured":"Rousseau G.: Sequents in many-valued logic I. Fund. Math. 60, 23\u201333 (1967)","journal-title":"Fund. Math."},{"key":"13_CR14","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1002\/malq.19550010402","volume":"1","author":"K. Schr\u00f6ter","year":"1955","unstructured":"Schr\u00f6ter K.: Methoden zur axiomatisierung beliebiger aussagen- und pr\u00e4dikatenkalk\u00fcle. Z. Math. Logik Grundlagen Math. 1, 241\u2013251 (1955)","journal-title":"Z. Math. Logik Grundlagen Math."},{"key":"13_CR15","first-page":"204","volume-title":"Lecture Notes in Mathematics, vol. 72","author":"W.W. Tait","year":"1968","unstructured":"Tait W.W.: Normal derivability in classical logic, The syntax and semantics of infinitary languages. In: Barwise, J. (eds) Lecture Notes in Mathematics, vol. 72, pp. 204\u2013236. Springer, Berlin (1968)"}],"container-title":["Logica Universalis"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-010-0013-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11787-010-0013-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-010-0013-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T18:35:12Z","timestamp":1559414112000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11787-010-0013-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,2,9]]},"references-count":15,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2010,3]]}},"alternative-id":["13"],"URL":"https:\/\/doi.org\/10.1007\/s11787-010-0013-2","relation":{},"ISSN":["1661-8297","1661-8300"],"issn-type":[{"value":"1661-8297","type":"print"},{"value":"1661-8300","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,2,9]]}}}