{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T22:22:40Z","timestamp":1742941360687,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642150241"},{"type":"electronic","value":"9783642150258"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15025-8_4","type":"book-chapter","created":{"date-parts":[[2010,8,16]],"date-time":"2010-08-16T02:52:44Z","timestamp":1281927164000},"page":"75-94","source":"Crossref","is-referenced-by-count":2,"title":["Strict Canonical Constructive Systems"],"prefix":"10.1007","author":[{"given":"Arnon","family":"Avron","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ori","family":"Lahav","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_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":"4_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":"4_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.: Nondeterministic View on Nonclassical Negations. Studia Logica\u00a080, 159\u2013194 (2005)","journal-title":"Studia Logica"},{"key":"4_CR4","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":"4_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/978-3-642-02716-1_6","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"A. Avron","year":"2009","unstructured":"Avron, A., Lahav, O.: Canonical constructive systems. In: Giese, M., Waaler, A. (eds.) TABLEAUX 2009. LNCS, vol.\u00a05607, pp. 62\u201376. Springer, Heidelberg (2009)"},{"key":"4_CR6","series-title":"Lecture Notes in Artificial Intelligence","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.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS (LNAI), vol.\u00a02083, pp. 529\u2013544. Springer, Heidelberg (2001)"},{"key":"4_CR7","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":"4_CR8","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1093\/analys\/22.6.130","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":"4_CR9","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1016\/S1385-7258(71)80036-7","volume":"33","author":"K.A. Bowen","year":"1971","unstructured":"Bowen, K.A.: An extension of the intuitionistic propositional calculus. Indagationes Mathematicae\u00a033, 287\u2013294 (1971)","journal-title":"Indagationes Mathematicae"},{"key":"4_CR10","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":"4_CR11","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":"4_CR12","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)"},{"key":"4_CR13","unstructured":"Gurevich, Y., Neeman, I.: The Logic of Infons, Microsoft Research Tech. Report MSR-TR-2009-10 (January 2009)"},{"key":"4_CR14","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":"4_CR15","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1093\/analys\/21.2.38","volume":"21","author":"A.N. Prior","year":"1960","unstructured":"Prior, A.N.: The Runabout Inference Ticket. Analysis\u00a021, 38\u201339 (1960)","journal-title":"Analysis"},{"key":"4_CR16","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)","DOI":"10.1007\/978-94-017-0464-9_3"}],"container-title":["Lecture Notes in Computer Science","Fields of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15025-8_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T17:15:34Z","timestamp":1558286134000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15025-8_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642150241","9783642150258"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15025-8_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}