Hong Bo Wu

Available identifiers

Publication	Date of Publication	Type
The generalized semantic \(\mathrm{HS}\) rule and the generalized semantic \(\mathrm{MP}\) rule of generalized tautologies in logic systems \(\overline{W,W,W_k}\)	2016-03-15	Paper
The representative theorem of \(R_0\)-algebra by lattice-implication operator	2016-03-15	Paper
Theory of generalized tautologies in Gödel's logic system	2016-03-15	Paper
A kind of simplified formal deductive system \(L_0^\) for the system \(L^\)	2002-06-25	Paper
On the structure and the properties of \(L_0^*\)-Lindenbaum algebra	2002-03-19	Paper
Generalization of Nagata's metrizability theorem	2002-03-10	Paper
A kind of improved formal deductive system \(\mathcal{L}_0^\) for the system \(\mathcal{L}^\)	2001-08-30	Paper
Some compactness properties for Vietoris topological spaces	2001-07-30	Paper

This page was built for person: Hong Bo Wu