| Publication | Date of Publication | Type |
|---|
| Automatic theorem proving in paraconsistent logics: Theory and implementation | 2023-04-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5100772 | 2022-09-01 | Paper |
| The mathematical descriptions of truth and change | 2022-07-05 | Paper |
| On Hilbert's Sixth Problem | 2021-09-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5855492 | 2021-03-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5114707 | 2020-06-25 | Paper |
| Why Paraconsistent Logics? | 2020-02-04 | Paper |
| An Application of Paraconsistent Logic to Physics: Complementarity | 2020-02-04 | Paper |
| Full-blooded anti-exceptionalism about logic | 2019-03-19 | Paper |
| METAMATHEMATICAL LIMITS TO COMPUTATION | 2016-11-09 | Paper |
| Superlogic manifolds and geometric approach to quantum logic | 2016-02-17 | Paper |
| Quantum mechanics: ontology without individuals | 2015-04-29 | Paper |
| Non-reflexive logical foundation for quantum mechanics | 2015-04-29 | Paper |
| Physics, inconsistency, and quasi-truth | 2015-03-17 | Paper |
| A modal ontology of properties for quantum mechanics | 2015-01-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5416168 | 2014-05-19 | Paper |
| The paraconsistent logic of quantum superpositions | 2013-09-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4918399 | 2013-04-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3102754 | 2011-11-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3003828 | 2011-05-31 | Paper |
| How to build a hypercomputer | 2009-11-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5448296 | 2008-03-20 | Paper |
| Logical and Philosophical Remarks on Quasi-Set Theory | 2008-01-18 | Paper |
| Definability and invariance | 2007-10-16 | Paper |
| On the metamathematics of the P vs. NP question | 2007-09-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5755185 | 2007-08-20 | Paper |
| Quasi-truth, paraconsistency, and the foundations of science | 2007-06-14 | Paper |
| Some thoughts on hypercomputation | 2006-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5711871 | 2005-12-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5703111 | 2005-11-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4822150 | 2004-10-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4461714 | 2004-05-18 | Paper |
| Consequences of an exotic definition for \(\text{P}=\text{NP}\). | 2003-11-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2776088 | 2003-11-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2770963 | 2003-04-07 | Paper |
| Opening address: Paraconsistent logic | 2003-01-08 | Paper |
| k-transforms in classical and paraconsistent logics | 2002-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2746863 | 2002-09-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4329288 | 2002-09-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4440562 | 2002-01-01 | Paper |
| Is there a zande logic? | 2001-12-05 | Paper |
| Quasi-Truth, Supervaluations and Free Logic | 2001-12-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2753260 | 2001-10-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2735686 | 2001-09-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2735794 | 2001-09-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2735813 | 2001-09-04 | Paper |
| A lemma on a total function defined over the Baker-Gill-Solovay set of polynomial Turing machines | 2001-06-12 | Paper |
| On a total function which overtakes all total recursive functions | 2001-06-12 | Paper |
| Time is dispensable in thermodynamics | 2001-04-23 | Paper |
| On the consistency of $P=NP$ with fragments of ZFC whose own consistency strength can be measured by an ordinal assignment | 2000-06-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4947595 | 2000-04-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4947596 | 2000-04-25 | Paper |
| The Atiyah - Singer index theorem and the gauge field copy problem | 2000-02-07 | Paper |
| Suppes predicates for space-time | 2000-01-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4236197 | 1999-10-10 | Paper |
| The incompleteness of theories of games | 1999-04-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4223622 | 1999-03-30 | Paper |
| The logic of pragmatic truth | 1999-02-02 | Paper |
| An intensional Schrödinger logic | 1998-11-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4395540 | 1998-11-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4896358 | 1997-09-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2785507 | 1997-02-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4883232 | 1996-09-18 | Paper |
| Gödel incompleteness, explicit expressions for complete arithmetic degrees and applications | 1996-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4876398 | 1996-05-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4876399 | 1996-05-01 | Paper |
| Undecidable Hopf bifurcation with undecidable fixed point | 1996-03-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4851407 | 1995-10-10 | Paper |
| Aspects of Paraconsistent Logic | 1995-09-20 | Paper |
| Undecidability, incompleteness and Arnol'd problems | 1995-09-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4834541 | 1995-08-10 | Paper |
| Schrödinger logics | 1995-07-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4835622 | 1995-07-03 | Paper |
| On Jaśkowski's discussive logics | 1995-02-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4300136 | 1994-11-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4300141 | 1994-11-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4287340 | 1994-09-26 | Paper |
| Dynamical system where proving chaos is equivalent to proving Fermat's conjecture | 1994-05-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4287778 | 1994-04-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4282601 | 1994-03-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4277694 | 1994-02-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4038402 | 1993-05-16 | Paper |
| The Paraconsistent Logics PJ | 1993-04-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4025015 | 1993-02-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4025883 | 1993-02-18 | Paper |
| On Russell's principle of induction | 1993-02-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3983431 | 1992-06-27 | Paper |
| The Paraconsistent Logics PJ | 1992-06-26 | Paper |
| Undecidability and incompleteness in classical mechanics | 1992-06-25 | Paper |
| A Suppes predicate for general relativity and set-theoretically generic spacetimes | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3203000 | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3490992 | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4206711 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5202170 | 1989-01-01 | Paper |
| Pragmatic Truth and the Logic of Induction | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3474637 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3813798 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3835441 | 1989-01-01 | Paper |
| Cause as an implication | 1988-01-01 | Paper |
| On The Imaginary Logic of N. A. VASILIEV | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3032226 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3351353 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3772161 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3026976 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3758803 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3781739 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3786465 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3789530 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4724604 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3030797 | 1986-01-01 | Paper |
| Pragmatic truth and approximation to truth | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3758779 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3770503 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3813797 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4722033 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3682446 | 1985-01-01 | Paper |
| On the relevant systems \(P\) and \(P^*\) and some related systems | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3342543 | 1984-01-01 | Paper |
| Notes on the theory of variable binding term operators | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4745801 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3671939 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3956917 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4722032 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3858249 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3926553 | 1980-01-01 | Paper |
| A new formulation of discussive logic | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3875899 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4120567 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4132491 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4132492 | 1977-01-01 | Paper |
| A semantical analysis of the calculi \(C_n\) | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4111534 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4083422 | 1976-01-01 | Paper |
| α Logic and Infinitary Languages | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4071731 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4075457 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4405141 | 1974-01-01 | Paper |
| On the theory of inconsistent formal systems | 1974-01-01 | Paper |
| \(\alpha\)-models and the systems T and T\(^*\) | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4068722 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4105650 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5650673 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5654044 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5618366 | 1971-01-01 | Paper |
| On supernormal Ehresmann-Dedecker universes | 1971-01-01 | Paper |
| On supernormal Ehresmann-Dedecker universes | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5588621 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5588622 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5596218 | 1970-01-01 | Paper |
| Sur Le Schéma de la Séparation | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5575534 | 1969-01-01 | Paper |
| On a set theory suggested by Dedecker and Ehresmann, I | 1969-01-01 | Paper |
| On a set theory suggested by Dedecker and Ehresmann, II | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5551425 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5536623 | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5538939 | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5549042 | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5583841 | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5609366 | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5519113 | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5553245 | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5585369 | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5344179 | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5509695 | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5586227 | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5331464 | 1964-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5331465 | 1964-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5331466 | 1964-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5344177 | 1964-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5344178 | 1964-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5344180 | 1964-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5534909 | 1964-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5728439 | 1963-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3848980 | 1963-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3289002 | 1960-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3265651 | 1959-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3281601 | 1959-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3256296 | 1958-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3256297 | 1958-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3256309 | 1958-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3250588 | 1957-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3250592 | 1957-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3234557 | 1956-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3235789 | 1956-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3235858 | 1956-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3236654 | 1956-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3229474 | 1955-01-01 | Paper |
