Hongbo Wu

Available identifiers

Publication	Date of Publication	Type
Theory of generalized tautologies in Gödel's logic system	2016-03-15	Paper
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
The prime reverse deductive system of locally finite BL-algebras with properties	2014-11-03	Paper
The relative divergence degree and the relative consistency degree of theories in the propositional logic system \(L^*_n\)	2012-10-05	Paper
Quasi-BL-algebras and their equivalence with BL-algebras	2012-06-01	Paper
A construction and properties of \(WBR_0\)-algebras	2012-06-01	Paper
The relation between regular FI-algebras and \(\text{WBR}_0\)-algebras	2012-06-01	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: Hongbo Wu