JOURNAL OF SHANDONG UNIVERSITY(NATURAL SCIENCE)
Previous Articles Next Articles
ZHOU Jian-ren1,2, WU Hong-bo2*
Received:
Online:
Published:
Abstract: IMTL and its related logic algebras are investigated in depth again and some new useful results are obtained. Firstly, the IMTL*-algebras are introduced by strengthening the conditions of IMTL-algebra, and the existence of IMTL*-algebras is explained by establishing structures of IMTL*-algebra. Secondly, an algebra structure is established that is IMTL-algebra and not IMTL*-algebra, which explains that IMTL*-algebras are truely strengthened form of IMTL-algebras, and based on IMTL-algebras some equivalent characterization of IMTL*-algebras are given. At last, the pure implication representation of IMTL*-algebras is obtained. The results of this paper are necessary complementarity to the methods and contents of logic algebras.
ZHOU Jian-ren1,2, WU Hong-bo2*. A schematic extension of IMTL-logic algebras#br#[J].JOURNAL OF SHANDONG UNIVERSITY(NATURAL SCIENCE), 2014, 49(04): 84-89.
0 / / Recommend
Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks
URL: http://lxbwk.njournal.sdu.edu.cn/EN/10.6040/j.issn.1671-9352.0.2013.291
http://lxbwk.njournal.sdu.edu.cn/EN/Y2014/V49/I04/84
Cited