乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,25]],"date-time":"2024-07-25T20:34:55Z","timestamp":1721939695530},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2016,2,27]],"date-time":"2016-02-27T00:00:00Z","timestamp":1456531200000},"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,10]]},"DOI":"10.1007\/s11225-016-9664-1","type":"journal-article","created":{"date-parts":[[2016,2,27]],"date-time":"2016-02-27T05:53:45Z","timestamp":1456552425000},"page":"1037-1050","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":12,"title":["Bi-Simulating in Bi-Intuitionistic Logic"],"prefix":"10.1007","volume":"104","author":[{"ORCID":"http:\/\/orcid.org\/0000-0002-5597-6794","authenticated-orcid":false,"given":"Guillermo","family":"Badia","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,2,27]]},"reference":[{"key":"9664_CR1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"P. Blackburn","year":"2001","unstructured":"Blackburn P., de Rijke M., Venema Y.: Modal Logic. Cambridge University Press, Cambridge (2001)"},{"key":"9664_CR2","doi-asserted-by":"crossref","unstructured":"Flum J., First-order logic and its extensions. In Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974, Springer-Verlag, New York, 1975, pp. 248-310.","DOI":"10.1007\/BFb0079423"},{"key":"9664_CR3","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511551574","volume-title":"Model Theory","author":"W. Hodges","year":"1993","unstructured":"Hodges W.: Model Theory. Cambridge University Press, Cambridge (1993)"},{"issue":"1","key":"9664_CR4","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1093\/logcom\/exn067","volume":"20","author":"R. Gor\u00e9","year":"2010","unstructured":"Gor\u00e9 R., Postniece L.: Combining derivations and refutations for cut-free completeness in Bi-intuitionistic logic. Journal of Logic and Computation 20(1), 233\u2013260 (2010)","journal-title":"Journal of Logic and Computation"},{"issue":"4","key":"9664_CR5","doi-asserted-by":"crossref","first-page":"501","DOI":"10.1093\/logcom\/7.4.501","volume":"7","author":"N. Kurtonina","year":"1997","unstructured":"Kurtonina N., de Rijke M.: Simulating without negation. Journal of Logic and Computation 7(4), 501\u2013522 (1997)","journal-title":"Journal of Logic and Computation"},{"key":"9664_CR6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1111\/j.1755-2567.1969.tb00356.x","volume":"35","author":"P. Lindstr\u00f6m","year":"1969","unstructured":"Lindstr\u00f6m P.: On extensions of elementary logic. Theoria 35, 1\u201311 (1969)","journal-title":"Theoria"},{"key":"9664_CR7","volume-title":"Model Theory: An Introduction","author":"D. Marker","year":"2002","unstructured":"Marker D.: Model Theory: An Introduction. Springer, Berlin (2002)"},{"key":"9664_CR8","doi-asserted-by":"crossref","DOI":"10.4324\/9780203252642","volume-title":"An Introduction to Substructural Logics","author":"G. Restall","year":"2000","unstructured":"Restall G.: An Introduction to Substructural Logics. Routledge, London (2000)"},{"key":"9664_CR9","unstructured":"Restall, G., Extending intuitionistic logic with subtraction, URL: http:\/\/consequently.org\/writing\/ , 1997."},{"key":"9664_CR10","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/BF02120864","volume":"33","author":"C. Rauszer","year":"1974","unstructured":"Rauszer C.: A formalization of the propositional calculus in H-B logic. Studia Logica 33, 23\u201334 (1974)","journal-title":"Studia Logica"},{"key":"9664_CR11","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1007\/BF02121116","volume":"36","author":"C. Rauszer","year":"1977","unstructured":"Rauszer C.: Model theory for an extension of intuitionistic logic. Studia Logica 36, 73\u201387 (1977)","journal-title":"Studia Logica"},{"issue":"1\/2","key":"9664_CR12","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/BF02121115","volume":"36","author":"C. Rauszer","year":"1977","unstructured":"Rauszer C.: Applications of Kripke models to Heyting\u2013Brouwer logic. Studia Logica 36(1\/2), 61\u201371 (1977)","journal-title":"Studia Logica"},{"issue":"2","key":"9664_CR13","doi-asserted-by":"crossref","first-page":"348","DOI":"10.1017\/S1755020312000342","volume":"6","author":"G. K. Olkhovikov","year":"2013","unstructured":"Olkhovikov G. K.: Model-theoretic characterization of intuitionistic propositional formulas. The Review of Symbolic Logic 6(2), 348\u2013365 (2013)","journal-title":"The Review of Symbolic Logic"},{"issue":"2\u20133","key":"9664_CR14","doi-asserted-by":"crossref","first-page":"341","DOI":"10.3166\/jancl.18.341-364","volume":"18","author":"H. Wansing","year":"2008","unstructured":"Wansing H.: Constructive negation, implication, and co-implication. Journal of Applied Non-Classical Logics 18(2\u20133), 341\u2013364 (2008)","journal-title":"Journal of Applied Non-Classical Logics"},{"issue":"4","key":"9664_CR15","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1023\/A:1004218110879","volume":"27","author":"F. Wolter","year":"1998","unstructured":"Wolter F.: On logics with coimplication. Journal of Philosophical Logic 27(4), 353\u2013387 (1998)","journal-title":"Journal of Philosophical Logic"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-016-9664-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-016-9664-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-016-9664-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T10:24:55Z","timestamp":1559384695000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-016-9664-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,2,27]]},"references-count":15,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2016,10]]}},"alternative-id":["9664"],"URL":"https:\/\/doi.org\/10.1007\/s11225-016-9664-1","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,2,27]]}}}