乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,4,4]],"date-time":"2024-04-04T08:26:39Z","timestamp":1712219199360},"reference-count":32,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2015,9,23]],"date-time":"2015-09-23T00:00:00Z","timestamp":1442966400000},"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-9630-3","type":"journal-article","created":{"date-parts":[[2015,9,23]],"date-time":"2015-09-23T06:58:10Z","timestamp":1442991490000},"page":"115-143","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Free and Projective Bimodal Symmetric G\u00f6del Algebras"],"prefix":"10.1007","volume":"104","author":[{"given":"Revaz","family":"Grigolia","sequence":"first","affiliation":[]},{"given":"Tatiana","family":"Kiseliova","sequence":"additional","affiliation":[]},{"given":"Vladimer","family":"Odisharia","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,9,23]]},"reference":[{"key":"9630_CR1","unstructured":"Abashidze, M., On some properties of Magari algebras, in Logical-Semantical Investigations, Metsniereba, Tbilisi, 1981, pp. 111\u2013127."},{"key":"9630_CR2","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1023\/A:1005173628262","volume":"62","author":"G. Bezhanishvili","year":"1999","unstructured":"Bezhanishvili G.: Varieties of monadic Heyting algebras, Part II: Duality theory. Studia Logica 62, 21\u201348 (1999)","journal-title":"Studia Logica"},{"key":"9630_CR3","unstructured":"Bezhanishvili, N., Lattices of Intermediate and Cylindric Modal Logics, PhD Thesis, 2006."},{"key":"9630_CR4","doi-asserted-by":"crossref","first-page":"433","DOI":"10.1017\/S0305004100013463","volume":"31","author":"G. Birkhoff","year":"1935","unstructured":"Birkhoff G.: On the structure of abstract algebras. Proceedings of the Cambridge Philosophical Society 31, 433\u2013454 (1935)","journal-title":"Proceedings of the Cambridge Philosophical Society"},{"key":"9630_CR5","volume-title":"The Logic of Provability","author":"G. Boolos","year":"1993","unstructured":"Boolos G.: The Logic of Provability. Cambridge University Press, Cambridge (1993)"},{"key":"9630_CR6","volume-title":"Modal Logic","author":"A. V. Chagrov","year":"1996","unstructured":"Chagrov A. V., Zakharyaschev M. V.: Modal Logic. Oxford University Press, Oxford (1996)"},{"key":"9630_CR7","first-page":"291","volume":"9","author":"A. Di Nola","year":"2003","unstructured":"Di Nola A., Grigolia R.: Projective MV-algebras and their automorphism groups. Journal of Multiple-Valued Logic and Soft Computing 9, 291\u2013317 (2003)","journal-title":"Journal of Multiple-Valued Logic and Soft Computing"},{"issue":"2","key":"9630_CR8","doi-asserted-by":"crossref","first-page":"97","DOI":"10.2307\/2964753","volume":"24","author":"M. Dummett","year":"1959","unstructured":"Dummett M.: A propositional calculus with denumerable matrix. Journal of Symbolic Logic 24(2), 97\u2013106 (1959)","journal-title":"Journal of Symbolic Logic"},{"key":"9630_CR9","unstructured":"Engelking, R., General Topology, PWN, Warszawa, 1977."},{"key":"9630_CR10","unstructured":"Esakia, L., The problem of dualism in the intuitionistic logic and Browerian lattices, in V International Congress for Logic Methodology and Philosophy of Sciences, Contributed Papers, Section 1, London, ON, 1975, pp. 7\u20138."},{"key":"9630_CR11","unstructured":"Esakia, L., Semantical analysis of bimodal (temporal) systems, Logic, Semantics, Methodology, Mecniereba Press, Tbilisi, 1978, pp. 87\u201399."},{"key":"9630_CR12","unstructured":"Esakia, L., Heyting Algebras I, Duality Theory, Metsniereba Press, Tbilisi, 1985 (in Russian)."},{"key":"9630_CR13","unstructured":"Esakia, L., Provability interpretation of Intuitionistic Logic, in Logical Investigations, vol. 5, Nauka, Moscow, 1998, pp. 19\u201324 (in Russian)."},{"issue":"3\u20134","key":"9630_CR14","doi-asserted-by":"crossref","first-page":"349","DOI":"10.3166\/jancl.16.349-366","volume":"16","author":"L. Esakia","year":"2006","unstructured":"Esakia L.: The modalized Heyting calculus: a conservative modal extension of the intuitionistic logic. Journal of Applied Non-Classical Logics 16(3\u20134), 349\u2013366 (2006)","journal-title":"Journal of Applied Non-Classical Logics"},{"issue":"2","key":"9630_CR15","first-page":"46","volume":"6","author":"L. Esakia","year":"1973","unstructured":"Esakia L., Grigolia R.: The criterion of Browerian and closure algebras to be finiteliy generated. The Bulletin of the Section of Logic 6(2), 46\u201352 (1973)","journal-title":"The Bulletin of the Section of Logic"},{"key":"9630_CR16","doi-asserted-by":"crossref","first-page":"111","DOI":"10.12775\/LLP.2008.007","volume":"17","author":"L. Esakia","year":"2008","unstructured":"Esakia L., Grigolia R.: Formulas of one propositional variable in the intuitionistic logic with the Solovay modality. Logic and Logical Philosophy 17, 111\u2013127 (2008)","journal-title":"Logic and Logical Philosophy"},{"issue":"4","key":"9630_CR17","doi-asserted-by":"crossref","first-page":"1620","DOI":"10.2307\/2694965","volume":"66","author":"X. Caicedo","year":"2001","unstructured":"Caicedo X., Cignoli R.: An algebraic approach to intuitionistic connectives. Journal of Symbolic Logic 66(4), 1620\u20131636 (2001)","journal-title":"Journal of Symbolic Logic"},{"issue":"6","key":"9630_CR18","first-page":"733","volume":"7","author":"S. Ghilardi","year":"1997","unstructured":"Ghilardi S.: Unification through projectivity. The Journal of Symbolic Computation 7(6), 733\u2013752 (1997)","journal-title":"The Journal of Symbolic Computation"},{"key":"9630_CR19","doi-asserted-by":"crossref","unstructured":"Gr\u00e4tzer, G., Universal Algebras, 2nd ed., Springer, New York, 1979.","DOI":"10.1007\/978-0-387-77487-9"},{"key":"9630_CR20","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/BF01881551","volume":"45","author":"A. Kuznetsov","year":"1986","unstructured":"Kuznetsov A.: Muravitsky On superintuitionistic logics as fragments of Proof Logic extensions. Studia Logica 45, 77\u201399 (1986)","journal-title":"Studia Logica"},{"key":"9630_CR21","unstructured":"Kuznetsov, A. V., The proof-intuitionistic propositional calculus, Doklady Akademii Nauk SSSR 283(1):27\u201330, 1985 (in Russian), English translation: Soviet Mathematics \u2013 Doklady 32(1):27\u201330, 1985."},{"key":"9630_CR22","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1007\/BF02121661","volume":"34","author":"R. Magari","year":"1975","unstructured":"Magari R.: Representation and duality theory for diagonalizable algebras (The algebraization of theories which express Theor. IV). Studia Logica 34, 305\u2013313 (1975)","journal-title":"Studia Logica"},{"key":"9630_CR23","unstructured":"Mal\u2019cev, A., Algebraic systems, Die Grundlehren der mathematischen Wissenschaften. Band 192, Springer, Berlin; Akademie-Verlag, Berlin XII, 1973, 317\u00a0pp."},{"key":"9630_CR24","doi-asserted-by":"crossref","unstructured":"Marczewski, E., Independence in algebras of sets and Boolean algebras, Fundamenta Mathematicae 48:135\u2013145, 1959\/1960.","DOI":"10.4064\/fm-48-2-135-145"},{"key":"9630_CR25","doi-asserted-by":"crossref","unstructured":"McKenzie, R., An algebraic version of categorical equivalence for varieties and moe generalalgebraic categories, in Logic and Algebra (Pontignano, 1994), vol. 180 of Lecture Notes in Pure and Applied Mathematics, Dekker, New York, 1996, pp. 211\u2013243, Die Grundlehren der mathematischen Wissenschaften. Band 192, Springer, Berlin; Akademie-Verlag, Berlin, XII, 317\u00a0pp., 1973.","DOI":"10.1201\/9780203748671-10"},{"key":"9630_CR26","doi-asserted-by":"crossref","first-page":"122","DOI":"10.2307\/1969038","volume":"47","author":"J. McKinsey","year":"1946","unstructured":"McKinsey J., Tarski A.: On closed elements in Closure algebras. Annals of Mathematics 47, 122\u2013162 (1946)","journal-title":"Annals of Mathematics"},{"key":"9630_CR27","unstructured":"Muravitsky, A. Y., Strong equivalence on intitionistic Kripke models and assertorically equivolumnous logics, Algebra Logika 20(2):165\u2013182, 1981 (in Russian), English translation: Algebra and Logic 20(2), 31(2):165\u2013182, 1981."},{"key":"9630_CR28","doi-asserted-by":"crossref","unstructured":"Muravitsky, A. Y., Finite approximability of the calculus I \u0394 and the non-modelability of some its extensions, Matematicheskie Zametki 29(6):907\u2013916, 1981 (in Russian), English translation: Mathematical Notes 29(5\u20136):463\u2013468, 1981.","DOI":"10.1007\/BF01163282"},{"key":"9630_CR29","unstructured":"Muravitsky, A. Y., A correspondence between extensions of the Proof-Intuitionistic logic and extensions of the Provability Logic, Doklady Akademii Nauk SSSR 281(4):789\u2013793, 1985 (in Russian), English translation: Soviet Mathematics \u2013 Doklady 31(2):345\u2013348, 1985."},{"issue":"3","key":"9630_CR30","doi-asserted-by":"crossref","first-page":"219","DOI":"10.4064\/fm-83-3-219-249","volume":"83","author":"C. Rauszer","year":"1973","unstructured":"Rauszer C.: Semi-Boolean algebras and their applications to intuitionistic logic with dual operations. Fundamenta Mathematicae 83(3), 219\u2013249 (1973)","journal-title":"Fundamenta Mathematicae"},{"issue":"3","key":"9630_CR31","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1111\/j.1755-2567.1970.tb00429.x","volume":"38","author":"K. Segerberg","year":"1970","unstructured":"Segerberg K.: Modal logic with linear alternative relations. Theoria 38(3), 301\u2013322 (1970)","journal-title":"Theoria"},{"key":"9630_CR32","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/BF02757006","volume":"25","author":"R. Solovay","year":"1976","unstructured":"Solovay R.: Provability interpretation of modal logics. Israel Journal of Mathematics 25, 287\u2013304 (1976)","journal-title":"Israel Journal of Mathematics"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-015-9630-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-015-9630-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-9630-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,14]],"date-time":"2023-08-14T12:32:41Z","timestamp":1692016361000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-015-9630-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9,23]]},"references-count":32,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2016,2]]}},"alternative-id":["9630"],"URL":"https:\/\/doi.org\/10.1007\/s11225-015-9630-3","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,9,23]]}}}