| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q5869221 | 2022-09-27 | Paper |
| Some Lessons Learned About Adding Conditionals to Certain Many-Valued Logics | 2022-02-04 | Paper |
| K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You | 2020-08-10 | Paper |
| JGXYZ: an ATP system for gap and glut logics | 2020-03-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5215793 | 2020-02-13 | Paper |
| Second-order logic of paradox | 2018-12-21 | Paper |
| Pecularities of some three- and four-valued second order logics | 2018-12-12 | Paper |
| Kernel Contraction and Base Dependence | 2017-10-24 | Paper |
| Sameness and Referential Opacity in Aristotle | 2017-07-14 | Paper |
| On finsler entropy of smooth distributions and Stefan-Sussman foliations | 2015-06-10 | Paper |
| Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different | 2015-02-27 | Paper |
| Geometrical structures on the prolongation of a pre-Lie algebroid on fibered manifolds and application to Partial Finsler geometry on foliated anchored bundle | 2014-12-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3624148 | 2009-04-28 | Paper |
| Is logic all in our heads? From naturalism to psychologism | 2008-07-30 | Paper |
| Synonymous logics: a correction | 2008-04-09 | Paper |
| Ternary Exclusive Or | 2008-03-07 | Paper |
| The case for psychologism in default and inheritance reasoning | 2005-12-12 | Paper |
| On some alleged misconceptions about fuzzy logic | 2005-03-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3150299 | 2003-09-21 | Paper |
| Synonymous logics | 2003-08-21 | Paper |
| The IJCAR ATP system competition | 2002-08-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2771606 | 2002-02-24 | Paper |
| A Brief History of Natural Deduction | 2001-12-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2702572 | 2001-10-10 | Paper |
| A formal analysis of relevance | 2001-03-22 | Paper |
| Did Frege believe Frege's principle? | 2001-02-18 | Paper |
| Automated natural deduction in THINKER | 2001-02-14 | Paper |
| An erratum for some errata to ATP problems | 1997-08-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4342071 | 1997-07-08 | Paper |
| Identity in modal logic theorem proving | 1994-10-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4013816 | 1992-09-27 | Paper |
| Post's functional completeness theorem | 1992-06-25 | Paper |
| Errata to ``75 problems for testing automatic theorem provers | 1988-01-01 | Paper |
| On proving functional incompleteness in symbolic logic classes | 1988-01-01 | Paper |
| Seventy-five problems for testing automatic theorem provers | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3698777 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3717023 | 1984-01-01 | Paper |
| (X) | 1982-01-01 | Paper |
| Some notes concerning fuzzy logics | 1977-01-01 | Paper |
