Title	An efficient development method for plant control software using algebraic specification and software components
Author	Masakazu Takahashi, Satoru Takahashi, Kazuhiko Tsuda
Citation	Vol. 6  No. 1  pp. 69~80
Keywords	Plant, control software, algebraic specification, software components, integrated development environment

Title	Ultraproduct of first-order lattice-valued logic LF(X) based on finite lattice implication algebra
Author	Wang Xuefang, Liu Peishun
Citation	Vol. 6  No. 5  pp. 195-200
Keywords	Lattice-valued logic, lattice implication algebra, ultrafilter, ultraproduct, consistent theorem

Title	Weak LI-ideal in Lattice Implication Algebra
Author	Lai Jiajun, Xu Yang, Zeng Zhaoyou, Wu shuiting
Citation	Vol. 6  No. 9  pp. 28-32
Keywords	Lattice implication algebra, LI-ideal, WLI-ideals

Title	ITRM: A Temporal Data Model Supporting Indeterminacy
Author	Jia-Dong Ren, Hui-Li Peng, Xiao-Jian Zhang
Citation	Vol. 6  No. 9  pp. 97-101
Keywords	Indeterminacy, ITRM, Time interval, Temporal relational algebra operator