乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,20]],"date-time":"2023-01-20T08:50:14Z","timestamp":1674204614576},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2015,7,8]],"date-time":"2015-07-08T00:00:00Z","timestamp":1436313600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2016,2]]},"DOI":"10.1007\/s11225-015-9622-3","type":"journal-article","created":{"date-parts":[[2015,7,7]],"date-time":"2015-07-07T09:20:19Z","timestamp":1436260819000},"page":"47-78","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Nice Embedding in Classical Logic"],"prefix":"10.1007","volume":"104","author":[{"given":"Peter","family":"Verd\u00e9e","sequence":"first","affiliation":[]},{"given":"Diderik","family":"Batens","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,7,8]]},"reference":[{"key":"9622_CR1","volume-title":"Entailment. The Logic of Relevance and Necessity, vol. 1","author":"A.R. Anderson","year":"1975","unstructured":"Anderson A.R., Belnap N.D. Jr.: Entailment. The Logic of Relevance and Necessity, vol. 1. Princeton University Press, Princeton (1975)"},{"key":"9622_CR2","doi-asserted-by":"crossref","unstructured":"Arruda, A. I., On the imaginary logic of N. A. Vasil\u2019ev, in A. I. Arruda, N. C. A. da Costa, and R. Chuaqui (eds.), Non-classical Logics, Model Theory and Computability, North-Holland, Amsterdam, 1977, pp. 3\u201324.","DOI":"10.1016\/S0049-237X(08)70642-6"},{"key":"9622_CR3","doi-asserted-by":"crossref","unstructured":"Batens, D., Spoiled for choice?, Journal of Logic and Computation (in print). Doi: 10.1093\/logcom\/ext019 , 1913.","DOI":"10.1093\/logcom\/ext019"},{"key":"9622_CR4","unstructured":"Batens, D., Paraconsistent extensional propositional logics, Logique et Analyse 90\u201391:195\u2013234, 1980."},{"key":"9622_CR5","unstructured":"Batens, D., Inconsistency-adaptive logics, in E. Or\u0142owska (ed.), Logic at Work. Essays Dedicated to the Memory of Helena Rasiowa, Physica Verlag (Springer), Heidelberg, New York, 1999, pp. 445\u2013472."},{"key":"9622_CR6","first-page":"241","volume":"218","author":"D. Batens","year":"2012","unstructured":"Batens D.: It might have been Classical Logic. Logique et Analyse 218, 241\u2013279 (2012)","journal-title":"Logique et Analyse"},{"key":"9622_CR7","unstructured":"Batens, D., and D. Provijn, Pushing the search paths in the proofs. A study in proof heuristics, Logique et Analyse 173\u2013175:113\u2013134, 2001 (Appeared 2003)."},{"key":"9622_CR8","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1016\/S0034-4877(99)80142-6","volume":"33","author":"D. Batens","year":"1999","unstructured":"Batens D., De Clercq K., Kurtonina N.: Embedding and interpolation for some paralogics. The propositional case. Reports on Mathematical Logic 33, 29\u201344 (1999)","journal-title":"Reports on Mathematical Logic"},{"key":"9622_CR9","doi-asserted-by":"crossref","unstructured":"Boolos, G. S., J. P. Burgess, and R. J. Jeffrey, Computability and Logic, 4th ed., Cambridge University Press, Cambridge, 2002.","DOI":"10.1017\/CBO9781139164931"},{"key":"9622_CR10","doi-asserted-by":"crossref","unstructured":"Carnielli, W. A., M. E. Coniglio, and I. M. Loffredo D\u2019Ottaviano, New dimensions on translations between logics, Logica Universalis 3:1\u201318, 2009.","DOI":"10.1007\/s11787-009-0002-5"},{"key":"9622_CR11","first-page":"3790","volume":"259","author":"N.C.A. da Costa","year":"1963","unstructured":"da Costa N.C.A.: Calculs propositionnels pour les syst\u00e8mes formels inconsistants. Comptes rendus de l\u2019Acad\u00e9mie des sciences de Paris 259, 3790\u20133792 (1963)","journal-title":"Comptes rendus de l\u2019Acad\u00e9mie des sciences de Paris"},{"key":"9622_CR12","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1305\/ndjfl\/1093891487","volume":"15","author":"N.C.A. da Costa","year":"1974","unstructured":"da Costa N.C.A.: On the theory of inconsistent formal systems. Notre Dame Journal of Formal Logic 15, 497\u2013510 (1974)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9622_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-1713-7","volume-title":"Goal-Directed Proof Theory","author":"D.M. Gabbay","year":"2000","unstructured":"Gabbay D.M., Olivetti N.: Goal-Directed Proof Theory. Kluwer, Dordrecht (2000)"},{"key":"9622_CR14","unstructured":"Hughes, G. E., and M. J. Cresswell, An Introduction to Modal Logic, Methuen, London, New York, 1972 (First published 1968)."},{"key":"9622_CR15","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1017\/S1755020312000226","volume":"5","author":"E. Je\u0159\u00e1bek","year":"2012","unstructured":"Je\u0159\u00e1bek E.: The ubiquity of conservative translations. The Review of Symbolic Logic 5, 666\u2013678 (2012)","journal-title":"The Review of Symbolic Logic"},{"key":"9622_CR16","volume-title":"Introduction to Metamathematics","author":"S.C. Kleene","year":"1952","unstructured":"Kleene S.C.: Introduction to Metamathematics. North-Holland, Amsterdam (1952)"},{"key":"9622_CR17","unstructured":"Meheus, J., An extremely rich paraconsistent logic and the adaptive logic based on it, in D. Batens, C. Mortensen, G. Priest, and J. P. Van Bendegem (eds.), Frontiers of Paraconsistent Logic, Research Studies Press, Baldock, 2000, pp. 189\u2013201."},{"key":"9622_CR18","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-009-3687-4","volume-title":"In Contradiction. A Study of the Transconsistent","author":"G. Priest","year":"1987","unstructured":"Priest G.: In Contradiction. A Study of the Transconsistent. Nijhoff, Dordrecht (1987)"},{"key":"9622_CR19","doi-asserted-by":"crossref","first-page":"61","DOI":"10.2307\/2267026","volume":"10","author":"J.B. Rosser","year":"1945","unstructured":"Rosser J.B., Turquette A.R.: Axiom schemes for m-valued propositional calculi. Journal of Symbolic Logic 10, 61\u201382 (1945)","journal-title":"Journal of Symbolic Logic"},{"key":"9622_CR20","volume-title":"Beweistheorie","author":"K. Sch\u00fctte","year":"1960","unstructured":"Sch\u00fctte K.: Beweistheorie. Springer, Berlin (1960)"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-015-9622-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-015-9622-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-015-9622-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T06:24:54Z","timestamp":1559370294000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-015-9622-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,7,8]]},"references-count":20,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2016,2]]}},"alternative-id":["9622"],"URL":"https:\/\/doi.org\/10.1007\/s11225-015-9622-3","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,7,8]]}}}