Category:Publications by Hongjun Zhou

Pages in category "Publications by Hongjun Zhou"

The following 5 pages are in this category, out of 5 total.

A

• A new theory consistency index based on deduction theorems in several logic systems

C

• Characterizations of maximal consistent theories in the formal deductive system (NM-logic) and Cantor space
• Consistency degrees of theories and methods of graded reasoning in n-valued R0-logic (NM-logic)

G

• Generalized consistency degrees of theories w.r.t. formulas in several standard complete logic systems

T

• Three and two-valued Łukasiewicz theories in the formal deductive system L* (NM-logic)