| Publication | Date of Publication | Type |
|---|
| From here to eternity | 2024-10-24 | Paper |
| Automatic theorem proving in paraconsistent logics: Theory and implementation | 2023-04-28 | Paper |
| scientific article; zbMATH DE number 7580955 (Why is no real title available?) | 2022-09-01 | Paper |
The mathematical descriptions of truth and change
Foundations of Science | 2022-07-05 | Paper |
On Hilbert's sixth problem
Synthese Library | 2021-09-14 | Paper |
| Suppes predicate for classes of structures and the notion of transportability | 2021-03-18 | Paper |
| Structures in science and metaphysics | 2020-06-25 | Paper |
Why paraconsistent logics?
Towards Paraconsistent Engineering | 2020-02-04 | Paper |
An application of paraconsistent logic to physics: complementarity
Towards Paraconsistent Engineering | 2020-02-04 | Paper |
Full-blooded anti-exceptionalism about logic
The Australasian Journal of Logic | 2019-03-19 | Paper |
Metamathematical limits to computation
The Handbook on Reasoning-Based Intelligent Systems | 2016-11-09 | Paper |
Superlogic manifolds and geometric approach to quantum logic
International Journal of Geometric Methods in Modern Physics | 2016-02-17 | Paper |
Non-reflexive logical foundation for quantum mechanics
Foundations of Physics | 2015-04-29 | Paper |
Quantum mechanics: ontology without individuals
Foundations of Physics | 2015-04-29 | Paper |
Physics, inconsistency, and quasi-truth
Synthese | 2015-03-17 | Paper |
A modal ontology of properties for quantum mechanics
Synthese | 2015-01-08 | Paper |
| scientific article; zbMATH DE number 6296811 (Why is no real title available?) | 2014-05-19 | Paper |
The paraconsistent logic of quantum superpositions
Foundations of Physics | 2013-09-09 | Paper |
| Why is the \(\mathrm{P}=?\mathrm{NP}\) question so difficult | 2013-04-24 | Paper |
| Gödel's way. Exploits into an undecidable world | 2011-11-25 | Paper |
| Physics and non-classical logics | 2011-05-31 | Paper |
How to build a hypercomputer
Applied Mathematics and Computation | 2009-11-13 | Paper |
| Janus-faced physics: on Hilbert's 6th problem | 2008-03-20 | Paper |
Logical and Philosophical Remarks on Quasi-Set Theory
Logic Journal of the IGPL | 2008-01-18 | Paper |
Definability and invariance
Studia Logica | 2007-10-16 | Paper |
On the metamathematics of the P vs. NP question
Applied Mathematics and Computation | 2007-09-19 | Paper |
| The logic of complementarity | 2007-08-20 | Paper |
Quasi-truth, paraconsistency, and the foundations of science
Synthese | 2007-06-14 | Paper |
Some thoughts on hypercomputation
Applied Mathematics and Computation | 2006-08-04 | Paper |
| scientific article; zbMATH DE number 2236621 (Why is no real title available?) | 2005-12-08 | Paper |
| scientific article; zbMATH DE number 2226184 (Why is no real title available?) | 2005-11-08 | Paper |
| scientific article; zbMATH DE number 2109540 (Why is no real title available?) | 2004-10-25 | Paper |
| scientific article; zbMATH DE number 2064184 (Why is no real title available?) | 2004-05-18 | Paper |
Consequences of an exotic definition for \(\text{P}=\text{NP}\).
Applied Mathematics and Computation | 2003-11-25 | Paper |
| Set-theoretical models for quantum systems | 2003-11-19 | Paper |
Belief change and inconsistency
Logique et Analyse. Nouvelle Série | 2003-04-07 | Paper |
Opening address: Paraconsistent logic
Logic and Logical Philosophy | 2003-01-08 | Paper |
k-transforms in classical and paraconsistent logics
Logic and Logical Philosophy | 2002-11-11 | Paper |
Paraconsistency: Towards a tentative interpretation
Theoria. Segunda Epoca | 2002-09-25 | Paper |
| scientific article; zbMATH DE number 1735925 (Why is no real title available?) | 2002-09-05 | Paper |
| scientific article; zbMATH DE number 2019866 (Why is no real title available?) | 2002-01-01 | Paper |
Is there a zande logic?
History and Philosophy of Logic | 2001-12-05 | Paper |
Quasi-Truth, Supervaluations and Free Logic
History and Philosophy of Logic | 2001-12-05 | Paper |
Overclassical logic
Logique et Analyse. Nouvelle Série | 2001-10-30 | Paper |
Paraconsistent set theories
Logique et Analyse. Nouvelle Série | 2001-09-04 | Paper |
Theory of valuation
Logique et Analyse. Nouvelle Série | 2001-09-04 | Paper |
Paraconsistent logic in a historical perspective
Logique et Analyse. Nouvelle Série | 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 |
| scientific article; zbMATH DE number 1434126 (Why is no real title available?) | 2000-04-25 | Paper |
| scientific article; zbMATH DE number 1434125 (Why is no real title available?) | 2000-04-25 | Paper |
The Atiyah - Singer index theorem and the gauge field copy problem
Journal of Physics A: Mathematical and General | 2000-02-07 | Paper |
Suppes predicates for space-time
Synthese | 2000-01-25 | Paper |
| scientific article; zbMATH DE number 1268671 (Why is no real title available?) | 1999-10-10 | Paper |
The incompleteness of theories of games
Journal of Philosophical Logic | 1999-04-22 | Paper |
| scientific article; zbMATH DE number 1236084 (Why is no real title available?) | 1999-03-30 | Paper |
The logic of pragmatic truth
Journal of Philosophical Logic | 1999-02-02 | Paper |
An intensional Schrödinger logic
Notre Dame Journal of Formal Logic | 1998-11-19 | Paper |
| scientific article; zbMATH DE number 1163917 (Why is no real title available?) | 1998-11-02 | Paper |
| scientific article; zbMATH DE number 936957 (Why is no real title available?) | 1997-09-02 | Paper |
| Classical and non-classical logics: essay on the foundations of logic | 1997-02-24 | Paper |
| scientific article; zbMATH DE number 895222 (Why is no real title available?) | 1996-09-18 | Paper |
Gödel incompleteness, explicit expressions for complete arithmetic degrees and applications
Complexity | 1996-07-01 | Paper |
| scientific article; zbMATH DE number 873136 (Why is no real title available?) | 1996-05-01 | Paper |
| scientific article; zbMATH DE number 873137 (Why is no real title available?) | 1996-05-01 | Paper |
Undecidable Hopf bifurcation with undecidable fixed point
International Journal of Theoretical Physics | 1996-03-05 | Paper |
| scientific article; zbMATH DE number 804141 (Why is no real title available?) | 1995-10-10 | Paper |
Aspects of Paraconsistent Logic
Logic Journal of the IGPL | 1995-09-20 | Paper |
Undecidability, incompleteness and Arnol'd problems
Studia Logica | 1995-09-11 | Paper |
| scientific article; zbMATH DE number 759538 (Why is no real title available?) | 1995-08-10 | Paper |
Schrödinger logics
Studia Logica | 1995-07-20 | Paper |
| scientific article; zbMATH DE number 761287 (Why is no real title available?) | 1995-07-03 | Paper |
On Jaśkowski's discussive logics
Studia Logica | 1995-02-22 | Paper |
| scientific article; zbMATH DE number 605214 (Why is no real title available?) | 1994-11-24 | Paper |
| scientific article; zbMATH DE number 605219 (Why is no real title available?) | 1994-11-24 | Paper |
| scientific article; zbMATH DE number 549807 (Why is no real title available?) | 1994-09-26 | Paper |
Dynamical system where proving chaos is equivalent to proving Fermat's conjecture
International Journal of Theoretical Physics | 1994-05-26 | Paper |
| scientific article; zbMATH DE number 551010 (Why is no real title available?) | 1994-04-14 | Paper |
| scientific article; zbMATH DE number 517071 (Why is no real title available?) | 1994-03-17 | Paper |
| scientific article; zbMATH DE number 496040 (Why is no real title available?) | 1994-02-07 | Paper |
| scientific article; zbMATH DE number 169728 (Why is no real title available?) | 1993-05-16 | Paper |
The Paraconsistent Logics PJ
Mathematical Logic Quarterly | 1993-04-01 | Paper |
| scientific article; zbMATH DE number 120353 (Why is no real title available?) | 1993-02-22 | Paper |
| scientific article; zbMATH DE number 124178 (Why is no real title available?) | 1993-02-18 | Paper |
On Russell's principle of induction
Synthese | 1993-02-02 | Paper |
| scientific article; zbMATH DE number 26755 (Why is no real title available?) | 1992-06-27 | Paper |
The Paraconsistent Logics PJ
Mathematical Logic Quarterly | 1992-06-26 | Paper |
Undecidability and incompleteness in classical mechanics
International Journal of Theoretical Physics | 1992-06-25 | Paper |
| scientific article; zbMATH DE number 4179342 (Why is no real title available?) | 1990-01-01 | Paper |
A Suppes predicate for general relativity and set-theoretically generic spacetimes
International Journal of Theoretical Physics | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4164174 (Why is no real title available?) | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4112561 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4127178 (Why is no real title available?) | 1989-01-01 | Paper |
Pragmatic Truth and the Logic of Induction
The British Journal for the Philosophy of Science | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4193639 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4142011 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4083589 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4130344 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4031614 (Why is no real title available?) | 1988-01-01 | Paper |
Cause as an implication
Studia Logica | 1988-01-01 | Paper |
On The Imaginary Logic of N. A. VASILIEV
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4202246 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4014673 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4043819 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4049611 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4053576 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4008359 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4008336 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 4083588 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 4029516 (Why is no real title available?) | 1986-01-01 | Paper |
Pragmatic truth and approximation to truth
Journal of Symbolic Logic | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 4019026 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3997763 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3904544 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3993535 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3875243 (Why is no real title available?) | 1984-01-01 | Paper |
On the relevant systems \(P\) and \(P^*\) and some related systems
Studia Logica | 1984-01-01 | Paper |
Notes on the theory of variable binding term operators
History and Philosophy of Logic | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3825761 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3801505 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3777462 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3739504 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3659574 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3993534 (Why is no real title available?) | 1980-01-01 | Paper |
A new formulation of discussive logic
Studia Logica | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3679783 (Why is no real title available?) | 1978-01-01 | Paper |
A semantical analysis of the calculi \(C_n\)
Notre Dame Journal of Formal Logic | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3545632 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3559523 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3559522 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3536050 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3503232 (Why is no real title available?) | 1976-01-01 | Paper |
α Logic and Infinitary Languages
Mathematical Logic Quarterly | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3494403 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3489098 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3485788 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3437119 (Why is no real title available?) | 1974-01-01 | Paper |
On the theory of inconsistent formal systems
Notre Dame Journal of Formal Logic | 1974-01-01 | Paper |
\(\alpha\)-models and the systems T and T\(^*\)
Notre Dame Journal of Formal Logic | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3528200 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3378898 (Why is no real title available?) | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3384012 (Why is no real title available?) | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3341993 (Why is no real title available?) | 1971-01-01 | Paper |
On supernormal Ehresmann-Dedecker universes
Mathematische Zeitschrift | 1971-01-01 | Paper |
On supernormal Ehresmann-Dedecker universes
Mathematische Zeitschrift | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3307534 (Why is no real title available?) | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3307535 (Why is no real title available?) | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3315182 (Why is no real title available?) | 1970-01-01 | Paper |
Sur Le Schéma de la Séparation
Nagoya Mathematical Journal | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3292837 (Why is no real title available?) | 1969-01-01 | Paper |
On a set theory suggested by Dedecker and Ehresmann, I
Proceedings of the Japan Academy, Series A, Mathematical Sciences | 1969-01-01 | Paper |
On a set theory suggested by Dedecker and Ehresmann, II
Proceedings of the Japan Academy, Series A, Mathematical Sciences | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3264906 (Why is no real title available?) | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3263236 (Why is no real title available?) | 1967-01-01 | Paper |
| scientific article; zbMATH DE number 3302270 (Why is no real title available?) | 1967-01-01 | Paper |
| scientific article; zbMATH DE number 3249770 (Why is no real title available?) | 1967-01-01 | Paper |
| scientific article; zbMATH DE number 3332452 (Why is no real title available?) | 1967-01-01 | Paper |
| scientific article; zbMATH DE number 3252218 (Why is no real title available?) | 1967-01-01 | Paper |
| scientific article; zbMATH DE number 3268998 (Why is no real title available?) | 1966-01-01 | Paper |
| scientific article; zbMATH DE number 3304007 (Why is no real title available?) | 1966-01-01 | Paper |
| scientific article; zbMATH DE number 3231060 (Why is no real title available?) | 1966-01-01 | Paper |
| scientific article; zbMATH DE number 3217014 (Why is no real title available?) | 1965-01-01 | Paper |
| scientific article; zbMATH DE number 3222116 (Why is no real title available?) | 1965-01-01 | Paper |
| scientific article; zbMATH DE number 3304911 (Why is no real title available?) | 1965-01-01 | Paper |
| scientific article; zbMATH DE number 3217013 (Why is no real title available?) | 1964-01-01 | Paper |
| scientific article; zbMATH DE number 3217015 (Why is no real title available?) | 1964-01-01 | Paper |
| scientific article; zbMATH DE number 3204601 (Why is no real title available?) | 1964-01-01 | Paper |
| scientific article; zbMATH DE number 3204602 (Why is no real title available?) | 1964-01-01 | Paper |
| scientific article; zbMATH DE number 3204603 (Why is no real title available?) | 1964-01-01 | Paper |
| scientific article; zbMATH DE number 3217012 (Why is no real title available?) | 1964-01-01 | Paper |
| scientific article; zbMATH DE number 3248001 (Why is no real title available?) | 1964-01-01 | Paper |
| scientific article; zbMATH DE number 3181194 (Why is no real title available?) | 1963-01-01 | Paper |
| scientific article; zbMATH DE number 3192057 (Why is no real title available?) | 1963-01-01 | Paper |
| scientific article; zbMATH DE number 3170319 (Why is no real title available?) | 1960-01-01 | Paper |
| scientific article; zbMATH DE number 3148395 (Why is no real title available?) | 1959-01-01 | Paper |
| scientific article; zbMATH DE number 3163450 (Why is no real title available?) | 1959-01-01 | Paper |
| scientific article; zbMATH DE number 3139733 (Why is no real title available?) | 1958-01-01 | Paper |
| scientific article; zbMATH DE number 3139734 (Why is no real title available?) | 1958-01-01 | Paper |
| scientific article; zbMATH DE number 3139746 (Why is no real title available?) | 1958-01-01 | Paper |
| scientific article; zbMATH DE number 3134287 (Why is no real title available?) | 1957-01-01 | Paper |
| scientific article; zbMATH DE number 3134291 (Why is no real title available?) | 1957-01-01 | Paper |
| scientific article; zbMATH DE number 3120831 (Why is no real title available?) | 1956-01-01 | Paper |
| scientific article; zbMATH DE number 3120900 (Why is no real title available?) | 1956-01-01 | Paper |
| scientific article; zbMATH DE number 3121613 (Why is no real title available?) | 1956-01-01 | Paper |
| scientific article; zbMATH DE number 3121704 (Why is no real title available?) | 1956-01-01 | Paper |
| scientific article; zbMATH DE number 3115173 (Why is no real title available?) | 1955-01-01 | Paper |
