{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:01:22Z","timestamp":1725663682165},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540523352"},{"type":"electronic","value":"9783540469636"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/3-540-52335-9_53","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T21:30:47Z","timestamp":1330205447000},"page":"122-145","source":"Crossref","is-referenced-by-count":1,"title":["On some applications of Heyting-valued analysis II"],"prefix":"10.1007","author":[{"given":"V. A.","family":"Lyubetsky","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"11_CR1","volume-title":"Model completeness","author":"A. Macintyre","year":"1977","unstructured":"Macintyre A.: Model completeness. Handbook of Mathematical Logic, North-Holland Publishing Company, Amsterdam, New York, Oxford, (1977), chapter 4"},{"key":"11_CR2","doi-asserted-by":"crossref","first-page":"73","DOI":"10.4064\/fm-81-1-73-89","volume":"81","author":"A. Macintyre","year":"1973","unstructured":"Macintyre A.: Model completeness for sheaves of structures. Fund. Math. (1973), 81, p73\u201389","journal-title":"Fund. Math."},{"issue":"268","key":"11_CR3","first-page":"99","volume":"4","author":"V.A. Lyubetsky","year":"1989","unstructured":"Lyubetsky V.A. (\u041b\u044e\u0431\u0435\u0446\u043a\u0438\u0439 \u0412.\u0410.): \u041e\u0446\u0435\u043d\u043a\u0438 \u0438 \u043f\u0443\u0447\u043a\u0438. \u041e \u043d\u0435\u043a\u043e\u0442\u043e\u0440\u044b\u0445 \u0432\u043e\u043f\u0440\u043e\u0441\u0430\u0445 \u043d\u0435\u0441\u0442\u0430\u043d\u0434\u0430\u0440\u0442\u043d\u043e\u0433\u043e \u0430\u043d\u0430\u043b\u0438\u0437\u0430. \u0423\u0441\u043f\u0435\u0445\u0438 \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0445 \u043d\u0430\u0443\u043a 4(268), (1989), 99\u2013153","journal-title":"\u0423\u0441\u043f\u0435\u0445\u0438 \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0445 \u043d\u0430\u0443\u043a"},{"key":"11_CR4","unstructured":"Lyubetsky V.A. (\u041b\u044e\u0431\u0435\u0446\u043a\u0438\u0439 \u0412.\u0410.): \u041d\u0435\u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043f\u0440\u0438\u043c\u0435\u043d\u0435\u043d\u0438\u044f \u0442\u0435\u043e\u0440\u0438\u0438 \u0442\u043e\u043f\u043e\u0441\u043e\u0432 \u043a \u0438\u0437\u0443\u0447\u0435\u043d\u0438\u044e \u0430\u043b\u0433\u0435\u0431\u0440\u0430\u0438\u0447\u0435\u0441\u043a\u0438\u0445 \u0441\u0438\u0441\u0442\u0435\u043c. \u041f\u0440\u0438\u043b\u043e\u0436\u0435\u043d\u0438\u0435 \u043a \u043a\u043d\u0438\u0433\u0435: \u0414\u0436\u043e\u043d\u0441\u0442\u043e\u043d \u041f.\u0422. \u0422\u0435\u043e\u0440\u0438\u044f \u0442\u043e\u043f\u043e\u0441\u043e\u0432. \u041c.: \u041d\u0430\u0443\u043a\u0430, (1986)"},{"key":"11_CR5","unstructured":"Lyubetsky V.A. (\u041b\u044e\u0431\u0435\u0446\u043a\u0438\u0439 \u0412.\u0410.): \u041e\u0446\u0435\u043d\u043a\u0438 \u0438 \u043f\u0443\u0447\u043a\u0438. \u041f\u0440\u0435\u043f\u0440\u0438\u043d\u0442 \u0418\u041f\u041f\u0418 \u0410\u041d \u0421\u0421\u0421\u0420, \u041c\u043e\u0441\u043a\u0432\u0430, (1988)"},{"key":"11_CR6","first-page":"58","volume":"1","author":"V.A. Lyubetsky","year":"1988","unstructured":"Lyubetsky V.A. (\u041b\u044e\u0431\u0435\u0446\u043a\u0438\u0439 \u0412.\u0410.): \u041e \u043d\u0435\u043a\u043e\u0442\u043e\u0440\u044b\u0445 \u043f\u0440\u0438\u043c\u0435\u043d\u0435\u043d\u0438\u044f\u0445 \u0433\u0435\u0439\u0442\u0438\u043d\u0433\u043e\u0432\u043e\u0437\u043d\u043e\u0433\u043e \u0430\u043d\u0430\u043b\u0438\u0437\u0430. \u0421\u0431\u043e\u0440\u043d\u0438\u043a \u0440\u0430\u0431\u043e\u0442 \u043a\u043e\u043d\u0444\u0435\u0440\u0435\u043d\u0446\u0438\u0438 \u043f\u043e \u043a\u043e\u043c\u043f\u044c\u044e\u0442\u0435\u0440\u043d\u043e\u0439 \u043b\u043e\u0433\u0438\u043a\u0435, \u0422\u0430\u043b\u043b\u0438\u043d\u043d, \u0410\u041d \u0417\u0421\u0421\u0420, 1(1988), 58\u201375","journal-title":"\u0422\u0430\u043b\u043b\u0438\u043d\u043d, \u0410\u041d \u0417\u0421\u0421\u0420"},{"key":"11_CR7","unstructured":"Lyubetsky V.A. (\u041b\u044e\u0431\u0435\u0446\u043a\u0438\u0439 \u0412.\u0410.): \u0410\u043b\u0433\u0435\u0431\u0440\u0430\u0438\u0447\u0435\u0441\u043a\u0438\u0435 \u0430\u0441\u043f\u0435\u043a\u0442\u044b \u043d\u0435\u0441\u0442\u0430\u043d\u0434\u0430\u0440\u0442\u043d\u043e\u0433\u043e \u0430\u043d\u0430\u043b\u0438\u0437\u0430. \u0414\u0435\u043f. \u0412\u0418\u041d\u0418\u0422\u0418 16.09.1983, \u043d\u043e\u043c\u0435\u0440 9341-83 \u0434\u0435\u043f."},{"key":"11_CR8","unstructured":"Lyubetsky V.A. (\u041b\u044e\u0431\u0435\u0446\u043a\u0438\u0439 \u0412.\u0410.): \u041f\u0443\u0447\u043a\u0438 \u043d\u0430 \u0433\u0435\u0439\u0442\u0438\u043d\u0433\u043e\u0432\u043e\u0439 \u0430\u043b\u0433\u0431\u0440\u0435: \u0441\u043b\u0443\u0447\u0430\u0439 \u043a\u043e\u043b\u0435\u0446. \u0414\u0435\u043f. \u0412\u0418\u041d\u0418\u0422\u0418 09.01.84, \u043d\u043e\u043c\u0435\u0440 3971-84 \u0434\u0435\u043f."},{"key":"11_CR9","unstructured":"Novikov P.S. (\u041d\u043e\u0432\u0438\u043a\u043e\u0432 \u041f.\u0421.): \u041e \u043d\u0435\u043a\u043e\u0442\u043e\u0440\u044b\u0445 \u0442\u0435\u043e\u0440\u0435\u043c\u0430\u0445 \u0441\u0443\u043c\u0435\u0441\u0442\u0432\u043e\u0432\u0430\u043d\u0438\u044f. \u0418\u0437\u0431\u0440\u0430\u043d\u043d\u044b\u0435 \u0442\u0440\u0443\u0434\u044b, \u041c\u043e\u0441\u043a\u0432\u0430, \u041d\u0430\u0443\u043a\u0430, (1979), 127"},{"issue":"49","key":"11_CR10","doi-asserted-by":"crossref","first-page":"851","DOI":"10.2307\/2274139","volume":"3","author":"G. Takeuti","year":"1984","unstructured":"Takeuti G., Titani S.: Intuitionistic fuzzy logic and intuitionistic set theory. Gourn. Symb. Logic, 3(1984), 49, p851\u2013866","journal-title":"Gourn. Symb. Logic"},{"key":"11_CR11","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1112\/plms\/s3-40.1.21","volume":"40","author":"B. I. Rose","year":"1980","unstructured":"Rose B. I.: On the model theory of finite-dimensional algebras. Proc. London Math. Soc. (1980), 40, 21\u201339.","journal-title":"Proc. London Math. Soc."},{"key":"11_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-0163-0","volume-title":"Associative Algebras","author":"R.S. Pierse","year":"1982","unstructured":"Pierse R.S.: Associative Algebras. Springer-Verlag, New York Heidelberg Berlin, (1982)"},{"key":"11_CR13","unstructured":"Velikhov E.P., Chernavskiy A.V.: Intellectual processes and their modelling. Nauka, Moscow. (1983)"}],"container-title":["Lecture Notes in Computer Science","COLOG-88"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-52335-9_53.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:07:42Z","timestamp":1619572062000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-52335-9_53"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540523352","9783540469636"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-52335-9_53","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1990]]}}}