{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T23:38:10Z","timestamp":1648769890725},"reference-count":11,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1985,1,1]],"date-time":"1985-01-01T00:00:00Z","timestamp":473385600000},"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":[[1985]]},"DOI":"10.1007\/bf00379763","type":"journal-article","created":{"date-parts":[[2004,11,7]],"date-time":"2004-11-07T01:14:12Z","timestamp":1099790052000},"page":"139-158","source":"Crossref","is-referenced-by-count":0,"title":["Trees and diagrams of decomposition"],"prefix":"10.1007","volume":"44","author":[{"given":"Anita","family":"Wasilewska","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","unstructured":"G, Gentzen, Untersuchungen \u00fcber das logische Schliessen, Mathematische Zeitschrift, Vol. 39 (1934?34).","DOI":"10.1007\/BF01201363"},{"key":"CR2","first-page":"1","volume":"1","author":"S. Kanger","year":"1957","unstructured":"S. Kanger, Provability in logic, Acta Universitatis Stocholmiensis, Stockholm, Studies in Philosophy 1 (1957) pp. 1?47.","journal-title":"Stockholm, Studies in Philosophy"},{"key":"CR3","unstructured":"A. Michaels, A uniform procedure for SCI tautologies, Studia Logica (1971)."},{"issue":"2","key":"CR4","doi-asserted-by":"crossref","first-page":"147","DOI":"10.3233\/FI-1977-1111","volume":"I","author":"G. Mirkowska","year":"1977","unstructured":"G. Mirkowska, Algorithmic logic and its applications in the theory of programs II, Fundamenta Informaticae Vol. I, 2 (1977), pp. 147?165.","journal-title":"Fundamenta Informaticae"},{"key":"CR5","doi-asserted-by":"crossref","first-page":"45","DOI":"10.3233\/FI-1980-3105","volume":"111.1","author":"G. Mirkowska","year":"1980","unstructured":"G. Mirkowska, Algorithmic logic with nondeterministic programs, Fundamenta Informaticae 111.1 (1980), pp. 45?64.","journal-title":"Fundamenta Informaticae"},{"key":"CR6","first-page":"57","volume":"48","author":"H. Rasiowa","year":"1960","unstructured":"H. Rasiowa and R. Sikorski, On Gentzen theorem, Fundamenta Mathematicae 48 (1960), pp. 57?69.","journal-title":"Fundamenta Mathematicae"},{"key":"CR7","volume-title":"Mathematics of Metamathematics","author":"H. Rasiowa","year":"1964","unstructured":"H. Rasiowa and R. Sikorski, Mathematics of Metamathematics, PWN, Warsaw 1964."},{"key":"CR8","unstructured":"Z. Saloni, Gentzen rules for m-valued logic, Bulletin de l'Acad\u00e9mie Polonaise des Sciences, No. 10 (1972)."},{"key":"CR9","first-page":"46","volume":"122","author":"K. Sch\u00fctte","year":"1950?51","unstructured":"K. Sch\u00fctte, Schlussweisenkalk\u00fcle der Pr\u00e4dikaterlogik, Mathematische Annalen 122 (1950?51), pp. 46?65.","journal-title":"Mathematische Annalen"},{"key":"CR10","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2273315","volume":"84","author":"H. C. M. Swart de","year":"1983","unstructured":"H. C. M. de Swart, A Gentzen-or Beth-type System, a practical decision procedure and a constructive completeness proof for the counterfactual logic VS and VCS, The Journal of Symbolic Logic, Vol. 84 (1983), pp. 1?20.","journal-title":"The Journal of Symbolic Logic"},{"key":"CR11","first-page":"263","volume":"90?91","author":"M. C. M. Swart de","year":"1980","unstructured":"M. C. M. de. Swart, Gentzen type system for C, K and several extentions of C and K, Logique et Analyse, 90?91 (1980), pp. 263?284.","journal-title":"Logique et Analyse"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00379763.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00379763\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00379763","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,27]],"date-time":"2021-06-27T20:26:22Z","timestamp":1624825582000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00379763"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"references-count":11,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1985]]}},"alternative-id":["BF00379763"],"URL":"https:\/\/doi.org\/10.1007\/bf00379763","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[1985]]}}}