{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:26:32Z","timestamp":1725492392452},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540724339"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-72434-6_34","type":"book-chapter","created":{"date-parts":[[2007,10,9]],"date-time":"2007-10-09T13:54:51Z","timestamp":1191938091000},"page":"337-348","source":"Crossref","is-referenced-by-count":0,"title":["On Extension of LI-Ideal in Lattice Implication Algebra"],"prefix":"10.1007","author":[{"given":"Lai","family":"Jiajun","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xu","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jun","family":"Ma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"34_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-4489-7","volume-title":"An algebraic Introduction on Mathematical logic","author":"D.W. Borns","year":"1975","unstructured":"Borns, D.W., Mack, J.M.: An algebraic Introduction on Mathematical logic. Springer, Berlin (1975)"},{"key":"34_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-08494-6","volume-title":"Many-valued Logics","author":"L. Bolc","year":"1992","unstructured":"Bolc, L., Borowik, P.: Many-valued Logics. Springer, Heidelberg (1992)"},{"key":"34_CR3","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/0004-3702(95)00095-X","volume":"84","author":"R. Ben-Eliyahu","year":"1996","unstructured":"Ben-Eliyahu, R., Dechter, R.: Default reasoning using classical logic. Artificial Intelligence\u00a084, 113\u2013150 (1996)","journal-title":"Artificial Intelligence"},{"key":"34_CR4","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1007\/BF00485654","volume":"19","author":"J.A. Goguen","year":"1969","unstructured":"Goguen, J.A.: The logic of inexact concepts. Synthese\u00a019, 325\u2013373 (1969)","journal-title":"Synthese"},{"key":"34_CR5","doi-asserted-by":"crossref","unstructured":"Pavelka, J.: On fuzzy logic I, II, III. Zeitschr. F. Math. Logic and Grundlagen der Math.\u00a025, 45-52, 119-134, 447-464 (1979)","DOI":"10.1002\/malq.19790252510"},{"issue":"1","key":"34_CR6","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/BF00396907","volume":"46","author":"V. Novak","year":"1982","unstructured":"Novak, V.: First-order fuzzy logic. Studia Logica\u00a046(1), 87\u2013109 (1982)","journal-title":"Studia Logica"},{"issue":"1","key":"34_CR7","first-page":"20","volume":"28","author":"Y. Xu","year":"1993","unstructured":"Xu, Y.: Lattice implication algebras (in Chinese). J. Southwest Jiaotong Univ.\u00a028(1), 20\u201327 (1993)","journal-title":"J. Southwest Jiaotong Univ."},{"key":"34_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-44847-1","volume-title":"Lattice-Valued Logic","author":"Y. Xu","year":"2003","unstructured":"Xu, Y., et al.: Lattice-Valued Logic. Springer, Berlin (2003)"},{"issue":"10","key":"34_CR9","doi-asserted-by":"crossref","first-page":"1049","DOI":"10.1360\/csb1997-42-10-1049","volume":"42","author":"J. Liu","year":"1997","unstructured":"Liu, J., Xu, Y.: On filters and structures of lattice implication algebras (in Chinese). Chinese Science Bulletin\u00a042(10), 1049\u20131052 (1997)","journal-title":"Chinese Science Bulletin"},{"key":"34_CR10","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1016\/S0020-0255(98)10053-1","volume":"114","author":"Y. Xu","year":"1999","unstructured":"Xu, Y., et al.: L-valued propositional logic. Information Sci.\u00a0114, 205\u2013235 (1999)","journal-title":"Information Sci."},{"issue":"4","key":"34_CR11","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1002\/int.1019","volume":"16","author":"Y. Xu","year":"2001","unstructured":"Xu, Y., et al.: Fuzzy reasoning based on the extension principle. Int. J. Intelligent System\u00a016(4), 469\u2013495 (2001)","journal-title":"Int. J. Intelligent System"},{"key":"34_CR12","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1016\/S0020-0255(01)00065-2","volume":"132","author":"Y. Xu","year":"2001","unstructured":"Xu, Y., et al.: -Resolution principle based on first-order lattice-valued logic LF(X). Information Sci.\u00a0132, 221\u2013239 (2001)","journal-title":"Information Sci."},{"key":"34_CR13","first-page":"13","volume":"35","author":"Y.B. Jun","year":"1998","unstructured":"Jun, Y.B., Roh, E.H., Xu, Y.: LI-ideals in lattice implication algebras. Bull. Korean Math. Soc.\u00a035, 13\u201324 (1998)","journal-title":"Bull. Korean Math. Soc."},{"issue":"2","key":"34_CR14","first-page":"369","volume":"36","author":"Y.B. Jun","year":"1999","unstructured":"Jun, Y.B.: On LI-ideals and prime LI-ideals of lattice implication algebras. Bull. Korean Math. Soc.\u00a036(2), 369\u2013380 (1999)","journal-title":"Bull. Korean Math. Soc."},{"issue":"2","key":"34_CR15","first-page":"185","volume":"3","author":"Y.B. Jun","year":"2000","unstructured":"Jun, Y.B., et al.: Intuitionistic fuzzy LI-ideals in lattice implication algebras. Sci. Math.\u00a03(2), 185\u2013192 (2000)","journal-title":"Sci. Math."},{"issue":"4","key":"34_CR16","first-page":"997","volume":"7","author":"Y.B. Jun","year":"1999","unstructured":"Jun, Y.B., Xu, Y.: Fuzzy LI-ideals in lattice implication algebras. J. Fuzzy Math.\u00a07(4), 997\u20131003 (1999)","journal-title":"J. Fuzzy Math."},{"issue":"4","key":"34_CR17","first-page":"1045","volume":"7","author":"Y.B. Jun","year":"1999","unstructured":"Jun, Y.B., Xu, Y., Qin, K.Y.: Normal fuzzy LI-ideals in lattice implication algebras. J. Fuzzy Math.\u00a07(4), 1045\u20131052 (1999)","journal-title":"J. Fuzzy Math."},{"key":"34_CR18","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1016\/S0020-0255(03)00159-2","volume":"155","author":"Y.L. Liu","year":"2003","unstructured":"Liu, Y.L., et al.: ILI-ideals and prime LI-ideals in lattice implication algebras. Int. J. Information Sci.\u00a0155, 157\u2013175 (2003)","journal-title":"Int. J. Information Sci."},{"key":"34_CR19","volume-title":"Application and Introductions of Lattice and Order","author":"T.M. Huang","year":"1998","unstructured":"Huang, T.M., Xu, Y., et al.: Application and Introductions of Lattice and Order. Southwest Jiaotong University Press, Chengdu (1998)"},{"issue":"2","key":"34_CR20","first-page":"369","volume":"36","author":"Y.B. Jun","year":"1999","unstructured":"Jun, Y.B.: On LI-ideals and prime LI-ideals of lattice implication algebras. Bull. Korean Math. Soc.\u00a036(2), 369\u2013380 (1999)","journal-title":"Bull. Korean Math. Soc."}],"container-title":["Advances in Soft Computing","Theoretical Advances and Applications of Fuzzy Logic and Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-72434-6_34.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:33:23Z","timestamp":1605764003000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72434-6_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540724339"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72434-6_34","relation":{},"subject":[]}}