{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:04:37Z","timestamp":1725663877466},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540571827"},{"type":"electronic","value":"9783540479277"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57182-5_68","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:12:30Z","timestamp":1330258350000},"page":"767-776","source":"Crossref","is-referenced-by-count":0,"title":["Analytic tableaux for finite and infinite Post logics"],"prefix":"10.1007","author":[{"given":"Nicolas","family":"Zabel","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"issue":"2","key":"68_CR1","first-page":"99","volume":"XXII","author":"B. Dahn","year":"1974","unstructured":"B. Dahn. Kripke-style semantics for some many-valued propositional calculi. Bulletin de I'Acad\u00e9mie Polonaise des Sciences. s\u00e9rie des sciences math., astr. et phys., XXII(2):99\u2013102, 1974.","journal-title":"Bulletin de I'Acad\u00e9mie Polonaise des Sciences. s\u00e9rie des sciences math., astr. et phys."},{"issue":"2","key":"68_CR2","doi-asserted-by":"crossref","first-page":"97","DOI":"10.2307\/2964753","volume":"24","author":"M. Dummett","year":"1959","unstructured":"Michael Dummett. A propositional calculus with denumerable matrix. Journal of Symbolic Logic, 24(2):97\u2013106, June 1959.","journal-title":"Journal of Symbolic Logic"},{"doi-asserted-by":"crossref","unstructured":"Melvin Fitting. First Order Logic and Automated theorem Proving. Springer-Verlag, 1990.","key":"68_CR3","DOI":"10.1007\/978-1-4684-0357-2"},{"unstructured":"Reiner H\u00e4hnle. Automated Theorem Proving in Multiple Valued Logics. Oxford University Press. to appear.","key":"68_CR4"},{"issue":"3","key":"68_CR5","doi-asserted-by":"crossref","first-page":"271","DOI":"10.2307\/2269618","volume":"30","author":"R. Harrop","year":"1965","unstructured":"Ronald Harrop. Some structure results for propositional calculi. Journal of Symbolic Logic, 30(3):271\u2013292, September 1965.","journal-title":"Journal of Symbolic Logic"},{"unstructured":"G. E. Hughes and M. J. Cresswell. A Companion to Modal Logic. Methuen, 1984.","key":"68_CR6"},{"issue":"8","key":"68_CR7","first-page":"765","volume":"XXII","author":"L. Maksimova","year":"1974","unstructured":"L. Maksimova and D. Vakarelov. Semantics for \u03c9+-valued predicate calculi. Bulletin de l'Acad\u00e9mie Polonaise des Sciences. s\u00e9rie des sciences math., astr. et phys., XXII(8):765\u2013771, 1974.","journal-title":"Bulletin de l'Acad\u00e9mie Polonaise des Sciences. s\u00e9rie des sciences math., astr. et phys."},{"issue":"4","key":"68_CR8","doi-asserted-by":"crossref","first-page":"433","DOI":"10.1007\/BF02123408","volume":"35","author":"E. Orlowska","year":"1976","unstructured":"Ewa Orlowska. The Gentzen style axiomatisation of \u03c9+-valued logic. Studia Logica, 35(4):433\u2013445, 1976.","journal-title":"Studia Logica"},{"doi-asserted-by":"crossref","unstructured":"Raymond M. Smullyan. First Order Logic. Springer-Verlag, 1968.","key":"68_CR9","DOI":"10.1007\/978-3-642-86718-7"},{"doi-asserted-by":"crossref","unstructured":"Dirk van Dalen. Intuitionistic logic. In Dov Gabbay and Fianz G\u00fcnthner, editors, Handbook of Philosophical Logic, vol. III: Alternatives of classical logic, volume 166 of Synthese Library, chapter III.4, pages 225\u2013240. Reidel, 1986.","key":"68_CR10","DOI":"10.1007\/978-94-009-5203-4_4"},{"unstructured":"Nicolas Zabel. Nouvelles techniques de deduction automatique en logiques polyvalentes du premier ordre, finies et infinies. Th\u00e8se, Institut National Polytechnique de Grenoble, 1992. forthcoming.","key":"68_CR11"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1993"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57182-5_68.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T05:14:56Z","timestamp":1640927696000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57182-5_68"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540571827","9783540479277"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-57182-5_68","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}