乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T01:10:14Z","timestamp":1683249014635},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[2005,8,1]],"date-time":"2005-08-01T00:00:00Z","timestamp":1122854400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2005,8]]},"DOI":"10.1007\/s11225-005-8477-4","type":"journal-article","created":{"date-parts":[[2005,10,6]],"date-time":"2005-10-06T15:23:12Z","timestamp":1128612192000},"page":"431-466","source":"Crossref","is-referenced-by-count":4,"title":["Socratic Proofs and Paraconsistency: A Case Study"],"prefix":"10.1007","volume":"80","author":[{"given":"Andrzej","family":"Wi\u015bniewski","sequence":"first","affiliation":[]},{"given":"Guido","family":"Vanackere","sequence":"additional","affiliation":[]},{"given":"Dorota","family":"Leszczy\u0144ska","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8477_CR1","first-page":"195","volume":"90-91","author":"D. BATENS","year":"1980","unstructured":"BATENS, D., \u2018Paraconsistent Extensional Propositional Logics\u2019, Loqique & Analyse 90-91:195\u2013234, 1980.","journal-title":"Loqique & Analyse"},{"key":"8477_CR2","first-page":"161","volume":"114","author":"D. BATENS","year":"1986","unstructured":"BATENS, D., \u2018Dialectical Dynamics Within Formal Logics\u2019, Logique & Analyse 114:161\u2013173, 1986.","journal-title":"Logique & Analyse"},{"key":"8477_CR3","doi-asserted-by":"crossref","first-page":"187","DOI":"10.2307\/j.ctv2x8v8c7.9","volume-title":"Paraconsistent Logic","author":"D. BATENS","year":"1989","unstructured":"BATENS, D., \u2018Dynamic Dialectical Logics\u2019, in G. Priest, R. Routley, and J. Norman, (eds.), Paraconsistent Logic, pp. 187\u2013217, Philosophia Verlag, M\u00fcnchen 1989."},{"key":"8477_CR4","first-page":"445","volume-title":"Logic at Work. Essays Dedicated to the Memory of Helena Rasiowa","author":"D. BATENS","year":"1998","unstructured":"BATENS, D., \u2018Inconsistency-Adaptive Logics\u2019, in E. Or\u0142owska, (ed.), Logic at Work. Essays Dedicated to the Memory of Helena Rasiowa, pp. 445\u2013472, Springer Verlag, Heidelberg\u2014New York 1998."},{"key":"8477_CR5","unstructured":"BATENS, D., \u2018Rich Inconsistency-Adaptive Logics. The Clash between Heuristic Effciency and Realistic Reconstruction\u2019, in Logique en perspective. M\u00e9langes offerts \u00e0 Paul Gochet, eds. E. Grillet and F. Beets, pp. 513\u2013543, Editions OUSIA, 2000."},{"key":"8477_CR6","unstructured":"BATENS, D., and K. DE CLERCQ, \u2018A Rich Paraconsistent Extension of Full Positive Logic\u2019, http:\/\/logica.Ugent.be\/centrum\/writings"},{"key":"8477_CR7","first-page":"29","volume":"33","author":"D. BATENS","year":"1999","unstructured":"BATENS, D., K. DE CLERCQ, and N. KURTONINA, \u2018Embedding and Interpolation for some Paralogics. The Propositional Case\u2019, Reports on Mathematical Logic 33:29\u201344, 1999.","journal-title":"Reports on Mathematical Logic"},{"key":"8477_CR8","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1023\/A:1005208616441","volume":"66","author":"D. BATENS","year":"2000","unstructured":"BATENS, D., and J. MEHEUS, \u2018The Adaptive Logic of Compatibility\u2019, Studia Logica 66:327\u2013348, 2000.","journal-title":"Studia Logica"},{"key":"8477_CR9","doi-asserted-by":"crossref","unstructured":"BATENS, D., and J. MEHEUS, \u2018A Tableau Method for Inconsistency-Adaptive Logics\u2019, in Automated Reasoning with Analytic Tableaux and Related Methods, ed. R. Dyckhoff, Lecture Notes in Artificial Intelligence, Springer, Berlin 2000, pp. 127\u2013142.","DOI":"10.1007\/10722086_13"},{"key":"8477_CR10","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1023\/A:1013865807250","volume":"69","author":"D. BATENS","year":"2001","unstructured":"BATENS, D., and J. MEHEUS, \u2018Shortcuts and DynamicMarking in the Tableau Method for Adaptive Logics\u2019, Studia Logica 69:221\u2013248, 2001.","journal-title":"Studia Logica"},{"key":"8477_CR11","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511565687","volume-title":"Multiple-conclusion Logic","author":"D.J. SHOESMITH","year":"1978","unstructured":"SHOESMITH, D.J., and T.J. SMILEY, Multiple-conclusion Logic, Cambridge University Press, Cambridge 1978."},{"key":"8477_CR12","volume-title":"Beweistheorie","author":"K. SCH\u00dcTTE","year":"1960","unstructured":"SCH\u00dcTTE, K., Beweistheorie, Springer, Berlin 1960."},{"key":"8477_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-86718-7","volume-title":"First-Order Logic","author":"R.M. SMULLYAN","year":"1968","unstructured":"SMULLYAN, R.M., First-Order Logic, Springer, Berlin 1968."},{"key":"8477_CR14","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/BF01972461","volume":"7","author":"A. TARSKI","year":"1965","unstructured":"TARSKI, A., \u2018A simplified formalization of predicate logic with identity\u2019, Archiv f\u00fcr Mathematische Logik und Grundlagenforschung 7:61\u201379, 1965.","journal-title":"Archiv f\u00fcr Mathematische Logik und Grundlagenforschung"},{"key":"8477_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-8406-7","volume-title":"The Posing of Questions: Logical Foundations of Erotetic Inferences","author":"A. WI\u015aNIEWSKI","year":"1995","unstructured":"WI\u015aNIEWSKI, A., The Posing of Questions: Logical Foundations of Erotetic Inferences, Kluwer Academic Publishers, Dordrecht \u2013 Boston \u2013 London 1995."},{"issue":"1","key":"8477_CR16","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00413820","volume":"109","author":"A. WI\u015aNIEWSKI","year":"1996","unstructured":"WI\u015aNIEWSKI, A., \u2018The logic of questions as a theory of erotetic arguments\u2019, Synthese 109(1):1\u201325, 1996.","journal-title":"Synthese"},{"key":"8477_CR17","first-page":"5","volume":"173-174-175","author":"A. WI\u015aNIEWSKI","year":"2001","unstructured":"WI\u015aNIEWSKI, A., \u2018Questions and Inferences\u2019, Logique et Analyse 173-174-175:5\u201343, 2001.","journal-title":"Logique et Analyse"},{"issue":"3","key":"8477_CR18","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1023\/B:LOGI.0000031374.60945.6e","volume":"33","author":"A. WI\u015aNIEWSKI","year":"2004","unstructured":"WI\u015aNIEWSKI, A., \u2018Socratic Proofs\u2019, Journal of Philosophical Logic 33(3): 299\u2013326, 2004.","journal-title":"Journal of Philosophical Logic"},{"key":"8477_CR19","doi-asserted-by":"crossref","unstructured":"WI\u015aNIEWSKI, A., and V. Shangin, \u2018Socratic Proofs for Quantifiers\u2019, Journal of Philosophical Logic, forthcoming.","DOI":"10.1007\/s10992-005-9000-0"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-005-8477-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-005-8477-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-005-8477-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T00:32:15Z","timestamp":1683246735000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-005-8477-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,8]]},"references-count":19,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[2005,8]]}},"alternative-id":["8477"],"URL":"https:\/\/doi.org\/10.1007\/s11225-005-8477-4","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,8]]}}}