{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T09:08:26Z","timestamp":1725872906637},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662540688"},{"type":"electronic","value":"9783662540695"}],"license":[{"start":{"date-parts":[[2016,12,3]],"date-time":"2016-12-03T00:00:00Z","timestamp":1480723200000},"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":[[2017]]},"DOI":"10.1007\/978-3-662-54069-5_10","type":"book-chapter","created":{"date-parts":[[2016,12,2]],"date-time":"2016-12-02T03:43:15Z","timestamp":1480650195000},"page":"123-138","source":"Crossref","is-referenced-by-count":4,"title":["Deriving Natural Deduction Rules from Truth Tables"],"prefix":"10.1007","author":[{"given":"Herman","family":"Geuvers","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tonny","family":"Hurkens","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,12,3]]},"reference":[{"key":"10_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"871","DOI":"10.1007\/3-540-45061-0_68","volume-title":"Automata, Languages and Programming","author":"ZM Ariola","year":"2003","unstructured":"Ariola, Z.M., Herbelin, H.: Minimal classical logic and control operators. In: Baeten, J.C.M., Lenstra, J.K., Parrow, J., Woeginger, G.J. (eds.) ICALP 2003. LNCS, vol. 2719, pp. 871\u2013885. Springer, Heidelberg (2003). doi: 10.1007\/3-540-45061-0_68"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Curien, P.-L., Herbelin, H.: The duality of computation. In: ICFP, pp. 233\u2013243 (2000)","DOI":"10.1145\/351240.351262"},{"key":"10_CR3","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1007\/978-3-319-22686-6_5","volume-title":"Advances in Proof-Theoretic Semantics","author":"R Dyckhoff","year":"2016","unstructured":"Dyckhoff, R.: Some remarks on proof-theoretic semantics. In: Piecha, T., Schroeder-Heister, P. (eds.) Advances in Proof-Theoretic Semantics, vol. 43, pp. 79\u201393. Springer, Heidelberg (2016)"},{"issue":"3","key":"10_CR4","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1007\/s10992-011-9208-0","volume":"41","author":"N Francez","year":"2012","unstructured":"Francez, N., Dyckhoff, R.: A note on harmony. J. Philos. Logic 41(3), 613\u2013628 (2012)","journal-title":"J. Philos. Logic"},{"key":"10_CR5","unstructured":"Geuvers, H., Hurkens, T.: Deriving natural deduction rules from truth tables (Extended version). Technical report (2016). http:\/\/www.cs.ru.nl\/~ herman\/PUBS\/NatDedTruthTables_Extended.pdf"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Milne, P.: Inversion principles and introduction rules. In: Dag Prawitz on Proofs and Meaning, Outstanding Contributions to Logic, vol. 7, pp. 189\u2013224 (2015)","DOI":"10.1007\/978-3-319-11041-7_8"},{"key":"10_CR7","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511527340","volume-title":"Structural Proof Theory","author":"S Negri","year":"2001","unstructured":"Negri, S., von Plato, J.: Structural Proof Theory. Cambridge University Press, Cambridge (2001)"},{"key":"10_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1007\/BFb0013061","volume-title":"Logic Programming and Automated Reasoning","author":"M Parigot","year":"1992","unstructured":"Parigot, M.: $${\\lambda }{\\mu }$$ -calculus: an algorithmic interpretation of classical natural deduction. In: Voronkov, A. (ed.) LPAR 1992. LNCS, vol. 624, pp. 190\u2013201. Springer, Heidelberg (1992). doi: 10.1007\/BFb0013061"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Prawitz, D.: Ideas and results in proof theory. In: Fenstad, J., (ed.) 2nd Scandinavian Logic Symposium, North-Holland, pp. 237\u2013309 (1971)","DOI":"10.1016\/S0049-237X(08)70849-8"},{"issue":"4","key":"10_CR10","doi-asserted-by":"crossref","first-page":"1284","DOI":"10.2307\/2274279","volume":"49","author":"P Schroeder-Heister","year":"1984","unstructured":"Schroeder-Heister, P.: A natural extension of natural deduction. J. Symb. Log. 49(4), 1284\u20131300 (1984)","journal-title":"J. Symb. Log."},{"key":"10_CR11","volume-title":"Constructivism in Mathematics","author":"AS Troelstra","year":"1988","unstructured":"Troelstra, A.S., van Dalen, D.: Constructivism in Mathematics, vol. 1. Elsevier, Amsterdam (1988)"},{"key":"10_CR12","series-title":"Universitext","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-02962-6","volume-title":"Logic and Structure","author":"D Dalen van","year":"1994","unstructured":"van Dalen, D.: Logic and Structure. Universitext, 3rd edn. Springer, London (1994)","edition":"3"},{"issue":"7","key":"10_CR13","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1007\/s001530100091","volume":"40","author":"J Plato von","year":"2001","unstructured":"von Plato, J.: Natural deduction with general elimination rules. Arch. Math. Log. 40(7), 541\u2013567 (2001)","journal-title":"Arch. Math. Log."}],"container-title":["Lecture Notes in Computer Science","Logic and Its Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-54069-5_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,25]],"date-time":"2017-06-25T01:06:50Z","timestamp":1498352810000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-54069-5_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12,3]]},"ISBN":["9783662540688","9783662540695"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-54069-5_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016,12,3]]}}}