Triangle Constructive Trice 2 (Logics, Algebras and Languages in Computer Science)
Kiyomitsu Horiuchi · Kyoto University Research Information Repository (Kyoto University) · 2014
This is continuation of"' Triangle constructive trice 1" We will investigate whether the subset of the algebraic system can be considered to be originally the same algebra system.Consequently, there is a remarkable difference between trices and lattices.We report on it.