Universal Logic

Universal logic principle was proposed by Professor Huacan He in 2001. It gave all models of binary 0-level universal operations and 1-level universal operations. We discuss some properties about these models of universal operations. In particular, we prove a lot of results for lattices and its relations with some kinds of algebras (MV-algebras, product algebras, BL-algebras).



		Some Algebraic systems for Universal Logic Minxia Luo Department of Information and Mathematics Sciences, China Jiliang University - Hangzhou
	Universal logic principle was proposed by Professor Huacan He in 2001. It gave all models of binary 0-level universal operations and 1-level universal operations. We discuss some properties about these models of universal operations. In particular, we prove a lot of results for lattices and its relations with some kinds of algebras (MV-algebras, product algebras, BL-algebras).