{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:26:40Z","timestamp":1725456400664},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540645702"},{"type":"electronic","value":"9783540693536"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0028016","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T07:02:06Z","timestamp":1132642926000},"page":"203-219","source":"Crossref","is-referenced-by-count":1,"title":["Classical proofs via basic logic"],"prefix":"10.1007","author":[{"given":"Claudia","family":"Faggian","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,15]]},"reference":[{"key":"13_CR1","unstructured":"BATTILOTTI G., SAMBIN G. (1996), Basic logic and the cube of its extensions, in Logic in Florence '95, A. Cantini, E. Casari, P. Minari (eds.), Kluwer, to appear."},{"key":"13_CR2","unstructured":"BATTILOTTI G., FAGGIAN C. (1997), Quantum logic and the cube of logics, Handbook of Philosophical Logic (new edition), D. Gabbay, F. Guenthner (eds.), Kluwer, vol. VII, ch. Quantum Logic by M. L. Dalla Chiara and R. Giuntini, to appear."},{"key":"13_CR3","first-page":"221","volume":"25","author":"N.J. Cutland","year":"1982","unstructured":"CUTLAND N.J., GIBBINS P.F. (1982), A regular Sequent Calculus for Quantum Logic in which \u22cf and \u22ce are dual, Logique et Analyse \u2014 Nouvelle Serie \u2014 25, 221\u2013248.","journal-title":"Logique et Analyse \u2014 Nouvelle Serie"},{"key":"13_CR4","doi-asserted-by":"publisher","first-page":"891","DOI":"10.1007\/BF01889304","volume":"19","author":"M.L. Dalla Chiara","year":"1989","unstructured":"DALLA CHIARA M.L., GIUNTINI R. (1989), Paraconsistent Quantum Logics, Foundations of Physics\n19, 891\u2013904.","journal-title":"Foundations of Physics"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"DANOS V., JOINET J.-B., SCHELLINX H. (1997), A new deconstructive logic: linear logic, Journal of Symbolic Logic, to appear.","DOI":"10.2307\/2275572"},{"key":"13_CR6","unstructured":"FAGGIAN C. (1996), Basic logic and linear negation: a new approach to orthologic, draft."},{"key":"13_CR7","unstructured":"FAGGIAN C., SAMBIN G (1996), From Basic Logic to Quantum Logics with Cut-elimination, to appear in Proceedings of the International Quantum Structures Association (Berlino, 96). International Journal of Theoretical Physics, 12.97."},{"key":"13_CR8","unstructured":"FAGGIAN C., SAMBIN G. (1997), Visibility and modular cut-elimination, in preparation."},{"key":"13_CR9","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/BF01201353","volume":"39","author":"G. Gentzen","year":"1935","unstructured":"GENTZEN G. (1935), Untersuchungen \u00fcber das logische Schliessen, Mathematische Zeitschrift\n39, 176\u2013210; english translation in \u201cThe collected papers of Gerhard Gentzen\u201d, M.E. Szabo ed., North-Holland (1969), 68\u2013131.","journal-title":"Mathematische Zeitschrift"},{"key":"13_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.-Y. Girard","year":"1987","unstructured":"GIRARD J.-Y. (1987), Linear Logic, Theor. Computer Sci.\n50, 1\u2013102.","journal-title":"Theor. Computer Sci."},{"issue":"3","key":"13_CR11","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1017\/S0960129500001328","volume":"1","author":"J.-Y. Girard","year":"1991","unstructured":"GIRARD J.-Y. (1991), A new constructive logic: classical logic, Mathematical Structures in Computer Science, 1(3), 255\u2013296.","journal-title":"Mathematical Structures in Computer Science"},{"key":"13_CR12","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1016\/0168-0072(93)90093-S","volume":"59","author":"J. Y. Girard","year":"1993","unstructured":"GIRARD J. Y. (1993), On the unity of logic, Annals of Pure and Applied Logic, 59, 201\u2013217.","journal-title":"Annals of Pure and Applied Logic"},{"key":"13_CR13","unstructured":"GIRARD J.-Y., LAFONT Y., TAYLOR P. (1989), Proofs and Types, Cambridge University Press."},{"key":"13_CR14","unstructured":"PARIGOT M. (1991), Free Deduction: an analysis of computation in classical logic, in A. Voronkov editor, Russian Conference on Logic Programming, Springer Verlag, LNAI 592, 361\u2013380."},{"key":"13_CR15","unstructured":"SAMBIN G. (1997), Basic logic: a structure in the space of logics, in preparation."},{"key":"13_CR16","unstructured":"SAMBIN G., BATTILOTTI G., FAGGIAN C. (1997), Basic logic: reflection, symmetry, visibility, Journal of Symbolic Logic, to appear."}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0028016","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,5]],"date-time":"2019-02-05T07:17:15Z","timestamp":1549351035000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0028016"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540645702","9783540693536"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/bfb0028016","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}