{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:22:45Z","timestamp":1725456165378},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540600176"},{"type":"electronic","value":"9783540494041"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0022252","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T06:12:29Z","timestamp":1132639949000},"page":"136-150","source":"Crossref","is-referenced-by-count":3,"title":["Cut free formalization of logic with finitely many variables. Part I."],"prefix":"10.1007","author":[{"given":"L.","family":"Gordeev","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,15]]},"reference":[{"key":"10_CR1","first-page":"274","volume":"35","author":"E.V. Huntington","year":"1933","unstructured":"E.V.Huntington, New sets of independent postulates..., Trans. Amer. Math. Soc. 35 (1933), pp.274\u2013304","journal-title":"Trans. Amer. Math. Soc."},{"issue":"no.3","key":"10_CR2","first-page":"25","volume":"52","author":"J. \u0141ukasiewicz","year":"1948","unstructured":"J.\u0141ukasiewicz, The shortest axiom of the implicational calculus of propositions, Proc. Royal Irish Acad. 52 no. 3 (1948), pp.25\u201333","journal-title":"Proc. Royal Irish Acad."},{"key":"10_CR3","first-page":"73","volume":"25","author":"R. Maddux","year":"1983","unstructured":"R.Maddux, A sequent calculus for relation algebras, APAL 25 (1983), pp.73\u2013101","journal-title":"APAL"},{"key":"10_CR4","first-page":"951","volume":"54","author":"R. Maddux","year":"1989","unstructured":"R.Maddux, Nonfinite axiomatizability results for cylindric and relation algebras, JSL 54 (1989), pp.951\u2013974","journal-title":"JSL"},{"key":"10_CR5","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1002\/malq.19890350405","volume":"35","author":"R. Maddux","year":"1989","unstructured":"R.Maddux, Finitary algebraic logic, Zeitschr. f. math. Logic u. Grundl. d. Math. 35 (1989), pp.321\u2013322","journal-title":"Zeitschr. f. math. Logic u. Grundl. d. Math."},{"key":"10_CR6","unstructured":"U.Mayer, Interpretationen und Wachstumsbeispiele, Doctoral dissertation, T\u00fcbingen University (1994)"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"A.Tarski & S.Givant, A Formalization of Set Theory Without Variables, AMS Coll. Publ. 41 (1987)","DOI":"10.1090\/coll\/041"}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0022252","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T02:43:18Z","timestamp":1586572998000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022252"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540600176","9783540494041"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/bfb0022252","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}