Abstract
As a kind of logical algebra, lattice implication algebra has been applied in lattice-valued logic. Study in algebraic structure of sub-algebra of lattice implication algebra can help to construct and apply lattice implication algebra to real applications. In this paper, we studied the structural properties of sub-algebra of a finite lattice implication algebra and proposed a method for extracting a sub-algebra from it.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Liu, J.: Study on Lattice–valued Logic based on lattice implication algebra and its Resolution Principle. Doctoral Dissertation, Southwest Jiaotong University, Chengdu (1999)
Liu, J., et al.: A Resolution-Like Strategy Based on a Lattice-Valued Logic. IEEE Transactions on Fuzzy Systems 11(4), 560–567 (2003)
Ma, J.: Lattice–Valued Loigcal System and Automated Reasoning Based on Lattice Implication Algebra. Doctoral Dissertation, Southwest Jiaotong University, Chengdu, China (2002)
Ma, J., Xu, Y.: On structure and complementary elements of lattice implication algebra. Fuzzy Mathematics and Systems (to appear)
Novak, V.: Formal theories in fuzzy logic (1997), http://www.researchindex.com
Pan, C.D., Pan, C.B.: Basic Numerical Theory. Beijing University Press, Beijing (1994)
Wang, G.: Non–Classical Loigc and Approximate Reasoning. Chinese Academic Press, Beijing (2000)
Wang, G.: MV-algebras, BL-algebras, R 0-algebras and multiple-valued logic. Fuzzy Systems and Mathematics 3, 1–15 (2002)
Xu, Y., et al.: Lattice–Valued Logic – An Alternative Approach to Treat Fuzziness and Incomparability. Springer, Heidelberg (2003)
Zhang, J.: SAT of Logical Formule – Method, Tools and Application. Chinese Academic Press, Beijing (2000)
Roh, E.H., Kim, K.H., Jun, Y.B.: Fuzzifications of ⊕-closed sets in lattice implication algebras. East-West J. of Mathematics 4(1), 63–75 (2002)
Jun, Y.B., Roh, E.H., Xu, Y.: LI-ideals in lattice implication algebras. Bull. Korean Math. Soc. 35(1), 13–24 (1998)
Jun, Y.B., Xu, Y., Ma, J.: Redefined fuzzy implicative filters, Information Sciences (in Press, 2006)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Xu, Y., Ma, J., Lai, J. (2007). Sub-algebras of Finite Lattice Implication Algebra. In: Castillo, O., Melin, P., Ross, O.M., Sepúlveda Cruz, R., Pedrycz, W., Kacprzyk, J. (eds) Theoretical Advances and Applications of Fuzzy Logic and Soft Computing. Advances in Soft Computing, vol 42. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-72434-6_82
Download citation
DOI: https://doi.org/10.1007/978-3-540-72434-6_82
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-72433-9
Online ISBN: 978-3-540-72434-6
eBook Packages: EngineeringEngineering (R0)