{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T19:29:49Z","timestamp":1725910189800},"publisher-location":"Cham","reference-count":11,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319668291"},{"type":"electronic","value":"9783319668307"}],"license":[{"start":{"date-parts":[[2017,9,2]],"date-time":"2017-09-02T00:00:00Z","timestamp":1504310400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-66830-7_3","type":"book-chapter","created":{"date-parts":[[2017,9,1]],"date-time":"2017-09-01T00:59:40Z","timestamp":1504227580000},"page":"25-33","source":"Crossref","is-referenced-by-count":0,"title":["Fuzzy Heyting Algebra"],"prefix":"10.1007","author":[{"given":"Berhanu Assaye","family":"Alaba","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Derebew Nigussie","family":"Derso","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,9,2]]},"reference":[{"key":"3_CR1","volume-title":"An Introduction to Intuitionism","author":"A Heyting","year":"1956","unstructured":"Heyting, A.: An Introduction to Intuitionism. North-Holland Publishing Co., Amsterdam (1956)"},{"key":"3_CR2","volume-title":"Logico-combinatorial investigations in the satisability or provability of mathematical propositions","author":"T Skolem","year":"1920","unstructured":"Skolem, T.: Logico-combinatorial investigations in the satisability or provability of mathematical propositions. Harvard University Press, Cam- bridge (1920)"},{"key":"3_CR3","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1016\/0020-0255(94)90124-4","volume":"79","author":"N Ajmal","year":"1994","unstructured":"Ajmal, N., Thomas, K.V.: Fuzzy lattices. Inf. Sci. 79, 271\u2013291 (1994)","journal-title":"Inf. Sci."},{"key":"3_CR4","first-page":"361","volume":"17","author":"I Chon","year":"2009","unstructured":"Chon, I.: Fuzzy partial order relations and fuzzy lattices. Korean J. Math. 17, 361\u2013374 (2009)","journal-title":"Korean J. Math."},{"key":"3_CR5","unstructured":"Zwaneveld, D.: Subdirectly irreducible algebras in varieties of universal algebra. University of Amsterdam (2014)"},{"key":"3_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-8130-3","volume-title":"A Course in Univesal algebra","author":"S Burries","year":"1981","unstructured":"Burries, S., Sankappanavar, H.P.: A Course in Univesal algebra. Springer, Heidelberg (1981)"},{"key":"3_CR7","unstructured":"Rao, G.C., Assaye, B., Mani, M.V.R.: Heyting almost distributive lattices (HADL). Int. J. Comput. Cogn. (to appear)"},{"key":"3_CR8","doi-asserted-by":"crossref","first-page":"338","DOI":"10.1016\/S0019-9958(65)90241-X","volume":"8","author":"LA Zadeh","year":"1965","unstructured":"Zadeh, L.A.: Fuzzy sets. Inf. Control 8, 338\u2013353 (1965)","journal-title":"Inf. Control"},{"key":"3_CR9","unstructured":"Palmgren, E.: Semantics of intuitionistic propositional logic. Lecture Notes for Applied Logic, Fall 2009, Department of Mathematics, Uppsala University"},{"key":"3_CR10","volume-title":"Lattice Theory","author":"G Birkho","year":"1967","unstructured":"Birkho, G.: Lattice Theory, vol. XXV. American Mathematical Society Colloquium Publications, Providence (1967)"},{"key":"3_CR11","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1016\/0022-247X(67)90189-8","volume":"18","author":"JA Goguen","year":"1967","unstructured":"Goguen, J.A.: L-fuzzy sets. J. Math Anal. Appl. 18, 145\u2013174 (1967)","journal-title":"J. Math Anal. Appl."}],"container-title":["Advances in Intelligent Systems and Computing","Advances in Fuzzy Logic and Technology 2017"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-66830-7_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,9,1]],"date-time":"2017-09-01T01:00:20Z","timestamp":1504227620000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66830-7_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9,2]]},"ISBN":["9783319668291","9783319668307"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66830-7_3","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2017,9,2]]}}}