{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:26:54Z","timestamp":1725492414862},"publisher-location":"Berlin, Heidelberg","reference-count":13,"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_82","type":"book-chapter","created":{"date-parts":[[2007,10,9]],"date-time":"2007-10-09T13:54:51Z","timestamp":1191938091000},"page":"813-821","source":"Crossref","is-referenced-by-count":21,"title":["Sub-algebras of Finite Lattice Implication Algebra"],"prefix":"10.1007","author":[{"given":"Yang","family":"Xu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jun","family":"Ma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jiajun","family":"Lai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"82_CR1","unstructured":"Liu, J.: Study on Lattice\u2013valued Logic based on lattice implication algebra and its Resolution Principle. Doctoral Dissertation, Southwest Jiaotong University, Chengdu (1999)"},{"issue":"4","key":"82_CR2","doi-asserted-by":"publisher","first-page":"560","DOI":"10.1109\/TFUZZ.2003.814859","volume":"11","author":"J. Liu","year":"2003","unstructured":"Liu, J., et al.: A Resolution-Like Strategy Based on a Lattice-Valued Logic. IEEE Transactions on Fuzzy Systems\u00a011(4), 560\u2013567 (2003)","journal-title":"IEEE Transactions on Fuzzy Systems"},{"key":"82_CR3","unstructured":"Ma, J.: Lattice\u2013Valued Loigcal System and Automated Reasoning Based on Lattice Implication Algebra. Doctoral Dissertation, Southwest Jiaotong University, Chengdu, China (2002)"},{"key":"82_CR4","unstructured":"Ma, J., Xu, Y.: On structure and complementary elements of lattice implication algebra. Fuzzy Mathematics and Systems (to appear)"},{"key":"82_CR5","unstructured":"Novak, V.: Formal theories in fuzzy logic (1997), http:\/\/www.researchindex.com"},{"key":"82_CR6","volume-title":"Basic Numerical Theory","author":"C.D. Pan","year":"1994","unstructured":"Pan, C.D., Pan, C.B.: Basic Numerical Theory. Beijing University Press, Beijing (1994)"},{"key":"82_CR7","volume-title":"Non\u2013Classical Loigc and Approximate Reasoning","author":"G. Wang","year":"2000","unstructured":"Wang, G.: Non\u2013Classical Loigc and Approximate Reasoning. Chinese Academic Press, Beijing (2000)"},{"key":"82_CR8","first-page":"1","volume":"3","author":"G. Wang","year":"2002","unstructured":"Wang, G.: MV-algebras, BL-algebras, R 0-algebras and multiple-valued logic. Fuzzy Systems and Mathematics\u00a03, 1\u201315 (2002)","journal-title":"Fuzzy Systems and Mathematics"},{"key":"82_CR9","volume-title":"Lattice\u2013Valued Logic \u2013 An Alternative Approach to Treat Fuzziness and Incomparability","author":"Y. Xu","year":"2003","unstructured":"Xu, Y., et al.: Lattice\u2013Valued Logic \u2013 An Alternative Approach to Treat Fuzziness and Incomparability. Springer, Heidelberg (2003)"},{"key":"82_CR10","volume-title":"SAT of Logical Formule \u2013 Method, Tools and Application","author":"J. Zhang","year":"2000","unstructured":"Zhang, J.: SAT of Logical Formule \u2013 Method, Tools and Application. Chinese Academic Press, Beijing (2000)"},{"issue":"1","key":"82_CR11","first-page":"63","volume":"4","author":"E.H. Roh","year":"2002","unstructured":"Roh, E.H., Kim, K.H., Jun, Y.B.: Fuzzifications of \u2295-closed sets in lattice implication algebras. East-West J. of Mathematics\u00a04(1), 63\u201375 (2002)","journal-title":"East-West J. of Mathematics"},{"issue":"1","key":"82_CR12","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(1), 13\u201324 (1998)","journal-title":"Bull. Korean Math. Soc."},{"key":"82_CR13","doi-asserted-by":"crossref","unstructured":"Jun, Y.B., Xu, Y., Ma, J.: Redefined fuzzy implicative filters, Information Sciences (in Press, 2006)","DOI":"10.1016\/j.ins.2006.08.018"}],"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_82.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:14:12Z","timestamp":1619518452000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72434-6_82"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540724339"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72434-6_82","relation":{},"subject":[]}}