{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T12:35:48Z","timestamp":1648902948279},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2007,6,27]],"date-time":"2007-06-27T00:00:00Z","timestamp":1182902400000},"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":[[2007,7,3]]},"DOI":"10.1007\/s11225-007-9055-8","type":"journal-article","created":{"date-parts":[[2007,6,26]],"date-time":"2007-06-26T09:54:32Z","timestamp":1182851672000},"page":"283-302","source":"Crossref","is-referenced-by-count":13,"title":["Tableaux and Dual Tableaux: Transformation of Proofs"],"prefix":"10.1007","volume":"85","author":[{"given":"Joanna","family":"Goli\u0144ska-Pilarek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ewa","family":"Or\u0142owska","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2007,6,27]]},"reference":[{"key":"9055_CR1","unstructured":"Beth, E. W., Semantic entailment and formal derivability, Mededelingen van de Koninklijke Nederlandes Akademie van Wetenschappen, Afdeling Letterkunde, N. R. Vol. 18, no. 13, Amsterdam, 1995, pp. 309\u2013342. Reprinted in J. Hintikka (ed.), The Philosophy of Mathematics, Oxford readings in Philosophy, Oxford University Press, London, UK, 1969."},{"key":"9055_CR2","volume-title":"The foundation of mathematics","author":"E.W. Beth","year":"1959","unstructured":"Beth E.W. (1959) The foundation of mathematics. North Holland, Amsterdam"},{"key":"9055_CR3","doi-asserted-by":"crossref","unstructured":"Fitting, M., First-order Logic and Automated Theorem Proving, Springer-Verlag New York, 1990.","DOI":"10.1007\/978-1-4684-0357-2"},{"key":"9055_CR4","doi-asserted-by":"crossref","unstructured":"Gentzen, G., \u2018Untersuchungen ber das logische Schliessen\u2019, Mathematische Zeitschrift 39 (1934), 176\u2013210, 405\u2013431.","DOI":"10.1007\/BF01201353"},{"key":"9055_CR5","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1023\/A:1004764610651","volume":"29","author":"I D\u00fcntsch","year":"2000","unstructured":"D\u00fcntsch I, Or\u0142owska E. (2000) \u2018A proof system for contact relation algebras\u2019. Journal of Philosophical Logic 29, 241\u2013262","journal-title":"Journal of Philosophical Logic"},{"key":"9055_CR6","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1016\/S0304-3975(01)00320-6","volume":"286","author":"B. Konikowska","year":"2002","unstructured":"Konikowska B. (2002) \u2018Rasiowa-Sikorski Deduction Systems in Computer Science Applications\u2019. Theoretical Computer Science 286, 323\u2013366","journal-title":"Theoretical Computer Science"},{"key":"9055_CR7","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1023\/A:1020572931854","volume":"71","author":"W. MacCaull","year":"2002","unstructured":"MacCaull W., Or\u0142owska E., (2002) \u2018Correspondence results for relational proof systems with applications to the Lambek calculus\u2019. Studia Logica 71, 279\u2013304","journal-title":"Studia Logica"},{"key":"9055_CR8","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511527340","volume-title":"Structural Proof Theory","author":"S. Negri","year":"2001","unstructured":"Negri S., von Plato J. (2001) Structural Proof Theory. Cambridge University Press, Cambridge"},{"key":"9055_CR9","doi-asserted-by":"crossref","unstructured":"Or\u0142owska, E., Relational formalisation of nonclassical logics, in: C. Brink, W. Kahl, and G. Schmidt (eds), Relational Methods in Computer Science, Springer, Wien\/New York, 1997, pp. 90\u2013105.","DOI":"10.1007\/978-3-7091-6510-2_6"},{"key":"9055_CR10","first-page":"57","volume":"48","author":"H. Rasiowa","year":"1960","unstructured":"Rasiowa H., Sikorski R., (1960) \u2018On Gentzen theorem\u2019. Fundamenta Mathematicae 48, 57\u201369","journal-title":"Fundamenta Mathematicae"},{"key":"9055_CR11","volume-title":"Mathematics of Metamathematics","author":"H. Rasiowa","year":"1963","unstructured":"Rasiowa H., Sikorski R., (1963) Mathematics of Metamathematics. Polish Scientific Publishers, Warsaw"},{"key":"9055_CR12","unstructured":"Schmidt, R., E. Or\u0142owska, and U. Hustadt, Two proof systems for Peirce algebras, Proceedings of the 7th International Workshop on Relational Methods in Computer Science, Malente, Germany, 2003, Lecture Notes in Computer Science 3051, Springer, pp. 235\u2013248."},{"key":"9055_CR13","unstructured":"Smullyan, R. M., First Order Logic, Springer, Berlin, Heidelberg, New York, 1971."},{"key":"9055_CR14","doi-asserted-by":"crossref","unstructured":"Wi\u015bniewski, A., and V. Shagin, \u2018Socratic Proofs for uantifiers\u2019, Journal of Philosophical Logic 35, No. 2 (2006), 147\u2013178.","DOI":"10.1007\/s10992-005-9000-0"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-007-9055-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-007-9055-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-007-9055-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T10:24:41Z","timestamp":1559384681000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-007-9055-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,6,27]]},"references-count":14,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2007,7,3]]}},"alternative-id":["9055"],"URL":"https:\/\/doi.org\/10.1007\/s11225-007-9055-8","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,6,27]]}}}