{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,22]],"date-time":"2025-04-22T15:07:56Z","timestamp":1745334476868},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642027154"},{"type":"electronic","value":"9783642027161"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-02716-1_6","type":"book-chapter","created":{"date-parts":[[2009,6,30]],"date-time":"2009-06-30T04:22:21Z","timestamp":1246335741000},"page":"62-76","source":"Crossref","is-referenced-by-count":2,"title":["Canonical Constructive Systems"],"prefix":"10.1007","author":[{"given":"Arnon","family":"Avron","sequence":"first","affiliation":[]},{"given":"Ori","family":"Lahav","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/0890-5401(91)90023-U","volume":"92","author":"A. Avron","year":"1991","unstructured":"Avron, A.: Simple Consequence Relations. Information and Computation\u00a092, 105\u2013139 (1991)","journal-title":"Information and Computation"},{"key":"6_CR2","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/BF00881838","volume":"10","author":"A. Avron","year":"1993","unstructured":"Avron, A.: Gentzen-Type Systems, Resolution and Tableaux. Journal of Automated Reasoning\u00a010, 265\u2013281 (1993)","journal-title":"Journal of Automated Reasoning"},{"key":"6_CR3","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/s11225-005-8468-5","volume":"80","author":"A. Avron","year":"2005","unstructured":"Avron, A.: A Nondeterministic View on Nonclassical Negations. Studia Logica\u00a080, 159\u2013194 (2005)","journal-title":"Studia Logica"},{"unstructured":"Avron, A.: Non-deterministic Semantics for Families of Paraconsistent Logics. In: Beziau, J.-Y., Carnielli, W., Gabbay, D.M. (eds.) Handbook of Paraconsistency. Studies in Logic, vol.\u00a09, pp. 285\u2013320. College Publications (2007)","key":"6_CR4"},{"key":"6_CR5","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1007\/3-540-45744-5_45","volume-title":"Automated Reasoning","author":"A. Avron","year":"2001","unstructured":"Avron, A., Lev, I.: Canonical Propositional Gentzen-Type Systems. In: Gor\u00e9, R., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS (LNAI), vol.\u00a02083, pp. 529\u2013544. Springer, Heidelberg (2001)"},{"key":"6_CR6","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1093\/logcom\/exi001","volume":"15","author":"A. Avron","year":"2005","unstructured":"Avron, A., Lev, I.: Non-deterministic Multiple-valued Structures. Journal of Logic and Computation\u00a015, 24\u2013261 (2005)","journal-title":"Journal of Logic and Computation"},{"key":"6_CR7","doi-asserted-by":"publisher","first-page":"130","DOI":"10.2307\/3326862","volume":"22","author":"N.D. Belnap","year":"1962","unstructured":"Belnap, N.D.: Tonk, Plonk and Plink. Analysis\u00a022, 130\u2013134 (1962)","journal-title":"Analysis"},{"key":"6_CR8","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/s11225-006-6607-2","volume":"82","author":"A. Ciabattoni","year":"2006","unstructured":"Ciabattoni, A., Terui, K.: Towards a Semantic Characterization of Cut-Elimination. Studia Logica\u00a082, 95\u2013119 (2006)","journal-title":"Studia Logica"},{"key":"6_CR9","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1016\/j.apal.2008.09.015","volume":"157","author":"D. Fernandez","year":"2009","unstructured":"Fernandez, D.: Non-deterministic Semantics for Dynamic Topological Logic. Annals of Pure and Applied Logic\u00a0157, 110\u2013121 (2009)","journal-title":"Annals of Pure and Applied Logic"},{"key":"6_CR10","first-page":"68","volume-title":"The Collected Works of Gerhard Gentzen","author":"G. Gentzen","year":"1969","unstructured":"Gentzen, G.: Investigations into Logical Deduction. In: Szabo, M.E. (ed.) The Collected Works of Gerhard Gentzen, pp. 68\u2013131. North Holland, Amsterdam (1969)"},{"unstructured":"Gurevich, Y., Neeman, I.: The Logic of Infons, Microsoft Research Tech Report MSR-TR-2009-10 (January 2009)","key":"6_CR11"},{"key":"6_CR12","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1016\/S0049-237X(08)71685-9","volume-title":"Formal Systems and Recursive Functions","author":"S. Kripke","year":"1965","unstructured":"Kripke, S.: Semantical Analysis of Intuitionistic Logic I. In: Crossly, J., Dummett, M. (eds.) Formal Systems and Recursive Functions, pp. 92\u2013129. North-Holland, Amsterdam (1965)"},{"key":"6_CR13","doi-asserted-by":"publisher","first-page":"38","DOI":"10.2307\/3326699","volume":"21","author":"A.N. Prior","year":"1960","unstructured":"Prior, A.N.: The Runabout Inference Ticket. Analysis\u00a021, 38\u201339 (1960)","journal-title":"Analysis"},{"doi-asserted-by":"crossref","unstructured":"Sundholm, G.: Proof theory and Meaning. In: Gabbay, D.M., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol.\u00a09, pp. 165\u2013198 (2002)","key":"6_CR14","DOI":"10.1007\/978-94-017-0464-9_3"}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning with Analytic Tableaux and Related Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02716-1_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T10:55:55Z","timestamp":1619780155000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02716-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642027154","9783642027161"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02716-1_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}