Publications: 1. Three and two-valued Łukasiewicz theories in the formal deductive system L* (NM-logic) to appear in Fuzzy Sets and Systems.
2. Characterizations of maximal consistent theories in the formal deductive system (NM-logic) and Cantor space, Fuzzy Sets and Systems 158 (2007) 2591-2604.
3. Generalized consistency degrees of theories w.r.t. formulas in several standard complete logic systems, Fuzzy Sets and Systems, 157(15) (2006) 2058-2073.
4. A new theory consistency index based on deduction theorems in several logic systems, Fuzzy Sets and Systems, Volume 157, Issue 3, 1 February 2006, Pages 427-443
5. Consistency degrees of theories and methods of graded reasoning in n-valued R0-logic (NM-logic), International Journal of Approximate Reasoning, Volume 43, Issue 2, October 2006, Pages 117-132.