{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,5,27]],"date-time":"2023-05-27T12:26:43Z","timestamp":1685190403357},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2015,12,11]],"date-time":"2015-12-11T00:00:00Z","timestamp":1449792000000},"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":["Log. Univers."],"published-print":{"date-parts":[[2016,3]]},"DOI":"10.1007\/s11787-015-0134-8","type":"journal-article","created":{"date-parts":[[2015,12,11]],"date-time":"2015-12-11T05:17:04Z","timestamp":1449811024000},"page":"21-43","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["N.A. Vasil\u2019ev\u2019s Logical Ideas and the Categorical Semantics of Many-Valued Logic"],"prefix":"10.1007","volume":"10","author":[{"given":"D. Y.","family":"Maximov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,12,11]]},"reference":[{"key":"134_CR1","doi-asserted-by":"crossref","unstructured":"Arruda, A.J.: On the imaginary logic of N.A. Vasiliev. In: Proceedings of Fourth Latin\u2013American Symposium of Mathematical Logic. pp. 1\u201341. North-Holland (1979)","DOI":"10.1016\/S0049-237X(09)70477-X"},{"issue":"2","key":"134_CR2","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1016\/0022-4049(95)00160-3","volume":"114","author":"J.R.B. Cockett","year":"1997","unstructured":"Cockett J.R.B., Seely R.A.G.: Weakly distributiv categories. J. Pure Appl. Algebra 114(2), 133\u2013173 (1997)","journal-title":"J. Pure Appl. Algebra"},{"key":"134_CR3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.-Y. Girard","year":"1987","unstructured":"Girard J.-Y.: Linear logic. Theor. Comput. Sci. 50, 1\u2013102 (1987)","journal-title":"Theor. Comput. Sci."},{"key":"134_CR4","volume-title":"Topoi. The Categorical Analysis of Logic","author":"R. Goldblatt","year":"1979","unstructured":"Goldblatt R.: Topoi. The Categorical Analysis of Logic. North-Holland Publishing Company, Amsterdam (1979)"},{"key":"134_CR5","volume-title":"Topos Theory","author":"P.T. Johnstone","year":"1977","unstructured":"Johnstone P.T.: Topos Theory. Academic Press, London (1977)"},{"key":"134_CR6","unstructured":"Kostyuk, T.P., Markin, V.I.: The formal reconsruction of N.A. Vasil\u2019ev\u2019s imaginary logic. \/\/ the modern logic: the problems of theory, history and application in science. In: Proceedings of the V-th Russian Scintific Conference. S-PbSU Publ., S.-Pb. pp. 154\u2013159 (1998)"},{"key":"134_CR7","unstructured":"Lafont, Y.: Linear logic pages. http:\/\/iml.univ-mrs.fr\/~lafont\/linear\/ Accessed date 07.12.2015"},{"key":"134_CR8","unstructured":"Legovih, Y.S., Maximov, D.Y.: Decision choice problem in self-organizing control systems. Control Sci. 3:18\u201326 (2013)"},{"key":"134_CR9","unstructured":"Markin, V.I.: The immersion of N.A. Vasil\u2019ev\u2019s imaginary logic into quantor three-valued Logic. \/\/ logical investigations. Vol. 7, pp. 252\u2013260. Nauka, Moskow (2000)"},{"key":"134_CR10","unstructured":"Maximov, D.Y.: System hierarchy reconfiguring by the methods of many-valued logic. Autom. Remote Control, in print (2016)"},{"key":"134_CR11","unstructured":"Maximov, D.Y.: Logic of N.A. Vasil\u2019ev and many-valued logics. Log. Investig. under review"},{"key":"134_CR12","unstructured":"Maximov, D.Y.: Logic of N.A. Vasil\u2019ev and the problem of future accidental events. Log. Investig. under review"},{"key":"134_CR13","unstructured":"Mellies, P.-A.: Categorical semantics of linear logic. In: Interactive models of computation and program behaviour, Panoramas et Syntheses, Societe Mathematique de France (2009)"},{"issue":"5","key":"134_CR14","doi-asserted-by":"crossref","first-page":"632","DOI":"10.1016\/j.apal.2009.07.018","volume":"161","author":"P.-A. Mellies","year":"2010","unstructured":"Mellies P.-A., Tabareau N.: Resource modalities in tensor logic. Ann. Pure Appl. Logic 161(5), 632\u2013653 (2010)","journal-title":"Ann. Pure Appl. Logic"},{"key":"134_CR15","doi-asserted-by":"crossref","unstructured":"Mortensen C.: Inconsistent mathematics: Some philosophical implications \/\/ handbook of the philosophy of science, Vol. philosophy of mathematics, pp. 631\u2013649. Elsevier, New York (2009)","DOI":"10.1016\/B978-0-444-51555-1.50018-3"},{"key":"134_CR16","unstructured":"Schalk, A.: What is a categorical model for linear logic? University of Manchester, October 2004, 26 p., Notes available on the author\u2019s web page"},{"key":"134_CR17","unstructured":"Smirnov, V.A.: The logic ideas of N.A. Vasil\u2019ev and the modern logic. Imaginary logic. Selected works, pp. 229\u2013260. Nauka, Moscow, (1989)"},{"key":"134_CR18","unstructured":"Vasil\u2019ev, N.A.: About partiqular propositions, the triangle of contrariety and a law of excluded 4-th. Kazan\u2019 Univ. Sci. Notes 10(77):1\u201347 (1910)."},{"key":"134_CR19","unstructured":"Vasil\u2019ev, N.A.: Imaginary logic. Selected works, Nauka, Moscow., 1989, 12\u201353."},{"key":"134_CR20","unstructured":"Vasil\u2019ev, N.A.: Imaginary (non-aristotelian) logic. J. Natl. Enlight. Minist. (N.S. 1912) August 40:207\u2013246"},{"key":"134_CR21","unstructured":"Vasil\u2019ev, N.A.: Imaginary logic. Selected works, Nauka, Moscow., 1989, 53\u201394)."},{"key":"134_CR22","unstructured":"Vasil\u2019ev, N.A.: Logic and metalogic. Logos 1\u20132:53\u201381 (1912\u20131913)."},{"key":"134_CR23","unstructured":"Vasil\u2019ev, N.A.: Imaginary logic. Selected works, Nauka, Moscow., 1989, 94\u2013123)."},{"key":"134_CR24","unstructured":"Zaitsev, D.V., Markin, V.I.: Imaginary logic\u20132: The reconstruction of the famouse logic system of N.A. Vasil\u2019ev one of the variants. \/\/ In: Proceedings of the Scientific Seminar of Philosophy Institut of RAS Logic Center 1998, pp. 134\u2013142. IPh RAS Publication, Moskow (1999)"}],"container-title":["Logica Universalis"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-015-0134-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11787-015-0134-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-015-0134-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,2]],"date-time":"2019-09-02T06:38:40Z","timestamp":1567406320000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11787-015-0134-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,12,11]]},"references-count":24,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2016,3]]}},"alternative-id":["134"],"URL":"https:\/\/doi.org\/10.1007\/s11787-015-0134-8","relation":{},"ISSN":["1661-8297","1661-8300"],"issn-type":[{"value":"1661-8297","type":"print"},{"value":"1661-8300","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,12,11]]}}}