| Publication | Date of Publication | Type |
|---|
| Sound and complete Gentzen deduction system for intermediate propositional logic | 2016-10-06 | Paper |
| The medium logic calculi \(\mathrm{MP}^N\) and \(\mathrm{MF}^N\) | 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 | 2016-03-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4980999 | 2014-06-30 | Paper |
| Mathematical infinity and medium logic. I. Logical-mathematical interpretation of Leibniz's secant and tangent lines problem in medium logic | 2013-11-19 | Paper |
| An analytical study of Leibniz's secant and tangent on the logical basis of mathematical infinity | 2012-10-05 | Paper |
| Descriptive definitions of potential and actual infinities | 2009-10-30 | Paper |
| Systemic yoyo structure in human thoughts and the fourth crisis in mathematics | 2009-10-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3410501 | 2006-11-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3409607 | 2006-11-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5484282 | 2006-08-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5476664 | 2006-07-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4823944 | 2004-10-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4455213 | 2004-03-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4802110 | 2003-07-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4802111 | 2003-07-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4483793 | 2003-05-27 | Paper |
| A representation theorem for recovering contraction relations satisfying wci | 2003-01-21 | Paper |
| Valuation structure | 2003-01-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4784406 | 2002-12-10 | Paper |
| Some contributions to nonmonotonic consequence | 2002-10-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4542668 | 2002-08-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4544365 | 2002-08-04 | Paper |
| A note on conditional implication | 2002-02-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4802075 | 2002-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3152787 | 2002-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4802076 | 2002-01-01 | Paper |
| RMI solver for summing series | 2001-07-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4527862 | 2001-01-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4392487 | 1999-12-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4223289 | 1999-05-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4216562 | 1999-02-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4391554 | 1999-02-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4218567 | 1999-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4397797 | 1998-11-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4397801 | 1998-09-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4392486 | 1998-08-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4397804 | 1998-07-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4387857 | 1998-05-14 | Paper |
| Program generic set: Semantics of medium logic program described by forcing | 1997-03-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4864966 | 1996-03-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4290437 | 1994-05-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4693594 | 1994-01-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5289459 | 1993-08-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3984062 | 1992-06-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3358713 | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3830977 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4205423 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3830976 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3829547 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3830975 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3832542 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3832543 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4205422 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3735702 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3893932 | 1980-01-01 | Paper |
