| Publication | Date of Publication | Type |
|---|
Sound and complete Gentzen deduction system for intermediate propositional logic
Journal of Software | 2016-10-06 | Paper |
The medium logic calculi \(\mathrm{MP}^N\) and \(\mathrm{MF}^N\)
Fuzzy Systems and Mathematics | 2016-03-15 | Paper |
Comparative studies of MP and those 3-valued logics with incomplete contents of propositional connectives with respect to linguistic expressive power
Fuzzy Systems and Mathematics | 2016-03-15 | Paper |
| Mathematical infinity and medium logic. II. Logical-mathematical interpretation and logical analysis of (\(\frac{\Delta y}{\Delta x}\) is meaningful and \(\frac{dy}{dx}\) is the tangent slope) in the context of medium logic | 2014-06-30 | Paper |
Mathematical infinity and medium logic. I. Logical-mathematical interpretation of Leibniz's secant and tangent lines problem in medium logic
Chinese Quarterly Journal of Mathematics | 2013-11-19 | Paper |
An analytical study of Leibniz's secant and tangent on the logical basis of mathematical infinity
Chinese Quarterly Journal of Mathematics | 2012-10-05 | Paper |
Descriptive definitions of potential and actual infinities
Kybernetes | 2009-10-30 | Paper |
Systemic yoyo structure in human thoughts and the fourth crisis in mathematics
Kybernetes | 2009-10-30 | Paper |
| Document classification by semi-supervised online learning based on ART | 2006-11-27 | Paper |
| Strong completeness of medium logic system | 2006-11-20 | Paper |
| Autonomous agent framework and its decision-making | 2006-08-17 | Paper |
| DNA algorithm for solution to Hamilton cycle problem | 2006-07-17 | Paper |
| scientific article; zbMATH DE number 2112436 (Why is no real title available?) | 2004-10-28 | Paper |
| scientific article; zbMATH DE number 2058586 (Why is no real title available?) | 2004-03-16 | Paper |
| scientific article; zbMATH DE number 1895071 (Why is no real title available?) | 2003-07-27 | Paper |
| scientific article; zbMATH DE number 1895072 (Why is no real title available?) | 2003-07-27 | Paper |
| scientific article; zbMATH DE number 1919417 (Why is no real title available?) | 2003-05-27 | Paper |
A representation theorem for recovering contraction relations satisfying wci
Theoretical Computer Science | 2003-01-21 | Paper |
Valuation structure
Journal of Symbolic Logic | 2003-01-13 | Paper |
| scientific article; zbMATH DE number 1844015 (Why is no real title available?) | 2002-12-10 | Paper |
Some contributions to nonmonotonic consequence
Journal of Computer Science and Technology | 2002-10-17 | Paper |
| scientific article; zbMATH DE number 1779398 (Why is no real title available?) | 2002-08-25 | Paper |
| scientific article; zbMATH DE number 1775534 (Why is no real title available?) | 2002-08-04 | Paper |
A note on conditional implication
Transactions of Nanjing University of Aeronautics & Astronautics | 2002-02-21 | Paper |
| scientific article; zbMATH DE number 1895043 (Why is no real title available?) | 2002-01-01 | Paper |
| scientific article; zbMATH DE number 1819974 (Why is no real title available?) | 2002-01-01 | Paper |
| scientific article; zbMATH DE number 1895044 (Why is no real title available?) | 2002-01-01 | Paper |
RMI solver for summing series
Journal of Mathematical Research & Exposition | 2001-07-02 | Paper |
| scientific article; zbMATH DE number 1558117 (Why is no real title available?) | 2001-01-29 | Paper |
| scientific article; zbMATH DE number 1160275 (Why is no real title available?) | 1999-12-12 | Paper |
| scientific article; zbMATH DE number 1235085 (Why is no real title available?) | 1999-05-16 | Paper |
| scientific article; zbMATH DE number 1215101 (Why is no real title available?) | 1999-02-14 | Paper |
| scientific article; zbMATH DE number 1159142 (Why is no real title available?) | 1999-02-14 | Paper |
| scientific article; zbMATH DE number 1223053 (Why is no real title available?) | 1999-01-11 | Paper |
| scientific article; zbMATH DE number 1174370 (Why is no real title available?) | 1998-11-10 | Paper |
| scientific article; zbMATH DE number 1174374 (Why is no real title available?) | 1998-09-30 | Paper |
| scientific article; zbMATH DE number 1160274 (Why is no real title available?) | 1998-08-10 | Paper |
| scientific article; zbMATH DE number 1174377 (Why is no real title available?) | 1998-07-14 | Paper |
| scientific article; zbMATH DE number 1152983 (Why is no real title available?) | 1998-05-14 | Paper |
Program generic set: Semantics of medium logic program described by forcing
Science in China. Series E | 1997-03-06 | Paper |
| scientific article; zbMATH DE number 847154 (Why is no real title available?) | 1996-03-12 | Paper |
| scientific article; zbMATH DE number 562240 (Why is no real title available?) | 1994-05-05 | Paper |
| scientific article; zbMATH DE number 205732 (Why is no real title available?) | 1994-01-03 | Paper |
| scientific article; zbMATH DE number 279493 (Why is no real title available?) | 1993-08-22 | Paper |
| scientific article; zbMATH DE number 25595 (Why is no real title available?) | 1992-06-27 | Paper |
| scientific article; zbMATH DE number 4210110 (Why is no real title available?) | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4106812 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4125376 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4106811 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4104944 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4106810 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4108731 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4108732 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4125375 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 3968579 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3700837 (Why is no real title available?) | 1980-01-01 | Paper |
