{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,31]],"date-time":"2023-01-31T10:27:30Z","timestamp":1675160850363},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2009,4,30]],"date-time":"2009-04-30T00:00:00Z","timestamp":1241049600000},"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":[[2009,7]]},"DOI":"10.1007\/s11787-009-0001-6","type":"journal-article","created":{"date-parts":[[2009,5,4]],"date-time":"2009-05-04T17:48:23Z","timestamp":1241459303000},"page":"59-94","source":"Crossref","is-referenced-by-count":2,"title":["Distributive-Lattice Semantics of Sequent Calculi with Structural Rules"],"prefix":"10.1007","volume":"3","author":[{"given":"Alexej P.","family":"Pynko","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,4,30]]},"reference":[{"key":"1_CR1","volume-title":"Distributive lattices","author":"R. Balbes","year":"1974","unstructured":"Balbes R., Dwinger P.: Distributive lattices. University of Missouri Press, Columbia (1974)"},{"key":"1_CR2","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 28, 89\u201397 (1999)","journal-title":"Bull. Sect. Logic"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Gentzen, G.: Untersuchungen \u00fcber das logische Schliessen. Mathematische Zeitschrift 39 176\u2013210, 405\u2013431 (1934)","DOI":"10.1007\/BF01201353"},{"key":"1_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":"1_CR5","first-page":"170","volume":"5","author":"J. \u0141ukasiewicz","year":"1920","unstructured":"\u0141ukasiewicz J.: O logice tr\u00f3jwarto\u015bciowej. Ruch Filozoficzny 5, 170\u2013171 (1920)","journal-title":"Ruch Filozoficzny"},{"key":"1_CR6","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1017\/S0027763000018055","volume":"7","author":"S. Maehara","year":"1954","unstructured":"Maehara S.: Eine Darstellung der intuitionistischen Logik in der klassischen. Nagoya Math. J. 7, 45\u201364 (1954)","journal-title":"Nagoya Math. J."},{"key":"1_CR7","volume-title":"Algebraic Systems","author":"A.I. Mal\u2019cev","year":"1965","unstructured":"Mal\u2019cev A.I.: Algebraic Systems. Springer, New York (1965)"},{"issue":"1\/2","key":"1_CR8","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1080\/11663081.1999.10510958","volume":"9","author":"A.P. Pynko","year":"1999","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","journal-title":"J. Appl. Non-Classical Logics"},{"issue":"3","key":"1_CR9","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/S0165-0114(99)00152-9","volume":"121","author":"A.P. Pynko","year":"2001","unstructured":"Pynko A.P.: Fuzzy semantics for multiple-conclusion sequential calculi with structural rules. Fuzzy Sets Syst. 121(3), 27\u201337 (2001)","journal-title":"Fuzzy Sets Syst."},{"issue":"2","key":"1_CR10","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1016\/S0165-0114(01)00164-6","volume":"129","author":"A.P. Pynko","year":"2002","unstructured":"Pynko A.P.: Not necessarily distributive fuzzy semantics for multiple-conclusion sequent calculi with weak structural rules. Fuzzy Sets Syst. 129(2), 255\u2013265 (2002)","journal-title":"Fuzzy Sets Syst."},{"key":"1_CR11","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":"1_CR12","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":"1_CR13","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. Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik 1, 241\u2013251 (1955)","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"key":"1_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-86718-7","volume-title":"First-Order Logic","author":"R. Smullyan","year":"1968","unstructured":"Smullyan R.: First-Order Logic. Springer, New York (1968)"},{"key":"1_CR15","volume-title":"Proof theory, Studies in Logic, vol. 81","author":"G. Takeuti","year":"1975","unstructured":"Takeuti G.: Proof theory, Studies in Logic, vol. 81. North-Holland, Amsterdam (1975)"}],"container-title":["Logica Universalis"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-009-0001-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11787-009-0001-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-009-0001-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T22:35:12Z","timestamp":1559428512000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11787-009-0001-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,4,30]]},"references-count":15,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2009,7]]}},"alternative-id":["1"],"URL":"https:\/\/doi.org\/10.1007\/s11787-009-0001-6","relation":{},"ISSN":["1661-8297","1661-8300"],"issn-type":[{"value":"1661-8297","type":"print"},{"value":"1661-8300","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,4,30]]}}}