| Publication | Date of Publication | Type |
|---|
| POINCARÉ–WEYL’S PREDICATIVITY: GOING BEYOND | 2024-04-09 | Paper |
| Quasi-canonical systems and their semantics | 2023-12-14 | Paper |
| Implication, Equivalence, and Negation | 2023-01-16 | Paper |
| Why Predicative Sets? | 2022-11-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5869604 | 2022-09-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5099994 | 2022-08-26 | Paper |
| Proof Systems for 3-valued Logics Based on Gödel’s Implication | 2022-07-22 | Paper |
| Analysis in a formal predicative set theory | 2022-06-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5079729 | 2022-05-28 | Paper |
| Basing sequent systems on exclusive-or | 2022-05-25 | Paper |
| Comments on the Papers | 2022-01-04 | Paper |
| The middle ground-ancestral logic | 2021-11-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5858673 | 2021-04-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5855500 | 2021-03-18 | Paper |
| Paraconsistency, self-extensionality, modality | 2021-01-08 | Paper |
| WEYL REEXAMINED: “DAS KONTINUUM” 100 YEARS LATER | 2021-01-05 | Paper |
| The normal and self-extensional extension of Dunn-Belnap logic | 2020-09-10 | Paper |
| $$\mathbf {RM}$$ RM and its Nice Properties | 2020-08-07 | Paper |
| First-order quasi-canonical proof systems | 2020-05-14 | Paper |
| Three-Valued Paraconsistent Propositional Logics | 2019-10-31 | Paper |
| Formalizing Scientifically Applicable Mathematics in a Definitional Framework | 2019-09-18 | Paper |
| Paraconsistency and the need for infinite semantics | 2019-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5224558 | 2019-07-24 | Paper |
| REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS | 2019-06-07 | Paper |
| Self-extensional three-valued paraconsistent logics have no implication | 2019-01-08 | Paper |
| Applicable Mathematics in a Minimal Computational Theory of Sets | 2018-11-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4686539 | 2018-10-02 | Paper |
| Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics | 2018-08-28 | Paper |
| Cayley′s Formula: A Page From The Book | 2018-07-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4636024 | 2018-04-23 | Paper |
| A minimal computational theory of a minimal computational universe | 2018-04-06 | Paper |
| Paraconsistent fuzzy logic preserving non-falsity | 2018-02-19 | Paper |
| Four-valued paradefinite logics | 2017-12-14 | Paper |
| Self-extensional three-valued paraconsistent logics | 2017-11-29 | Paper |
| A cut-free calculus for second-order Gödel logic | 2017-11-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5369472 | 2017-10-17 | Paper |
| Efficient reasoning with inconsistent information using C-systems | 2017-05-16 | Paper |
| Modular Construction of Cut-free Sequent Calculi for Paraconsistent Logics | 2017-05-16 | Paper |
| A Logical Framework for Developing and Mechanizing Set Theories | 2016-09-05 | Paper |
| A unified semantic framework for fully structural propositional sequent systems | 2015-09-17 | Paper |
| Semi-implication: A Chapter in Universal Logic | 2015-06-24 | Paper |
| The classical constraint on relevance | 2015-02-05 | Paper |
| Ancestral Logic: A Proof Theoretical Study | 2015-01-13 | Paper |
| What is relevance logic? | 2014-01-13 | Paper |
| Cut-free sequent calculi for C-systems with generalized finite-valued semantics | 2013-06-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4918414 | 2013-04-24 | Paper |
| A semantic proof of strong cut-admissibility for first-order Godel logic | 2013-04-19 | Paper |
| Non-deterministic Connectives in Propositional Godel Logic | 2013-01-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2882458 | 2012-05-04 | Paper |
| Canonical signed calculi with multi-ary quantifiers | 2012-04-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3112289 | 2012-01-13 | Paper |
| Ideal paraconsistent logics | 2011-11-23 | Paper |
| A Simple Proof of Completeness and Cut-admissibility for Propositional Godel Logic | 2011-11-10 | Paper |
| Kripke Semantics for Basic Sequent Systems | 2011-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3007244 | 2011-06-21 | Paper |
| A Multiple-Conclusion Calculus for First-Order Gödel Logic | 2011-06-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3086692 | 2011-03-30 | Paper |
| Maximal and premaximal paraconsistency in the framework of three-valued semantics | 2011-03-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3081637 | 2011-03-09 | Paper |
| On Constructive Connectives and Systems | 2011-03-08 | Paper |
| Strict Canonical Constructive Systems | 2010-09-03 | Paper |
| Automated Reasoning with Analytic Tableaux and Related Methods | 2010-03-09 | Paper |
| Canonical Constructive Systems | 2009-12-01 | Paper |
| Multi-valued semantics: why and how | 2009-11-16 | Paper |
| Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism | 2009-08-18 | Paper |
| Proof systems for reasoning about computation errors | 2009-05-08 | Paper |
| Rough sets and 3-valued logics | 2009-03-17 | Paper |
| Canonical Gentzen-Type Calculi with (n,k)-ary Quantifiers | 2009-03-12 | Paper |
| Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination | 2009-02-24 | Paper |
| Processing Information from a Set of Sources | 2009-02-05 | Paper |
| Canonical calculi with (n,k)-ary quantifiers | 2008-11-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3520843 | 2008-08-26 | Paper |
| A Triple Correspondence in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics | 2008-06-05 | Paper |
| Constructibility and decidability versus domain independence and absoluteness | 2008-04-16 | Paper |
| Boris A. Trakhtenbrot: Academic Genealogy and Publications | 2008-03-25 | Paper |
| A Framework for Formalizing Set Theories Based on the Use of Static Set Terms | 2008-03-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5446288 | 2008-03-06 | Paper |
| Generalized Non-deterministic Matrices and (n,k)-ary Quantifiers | 2008-01-04 | Paper |
| Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency | 2007-11-15 | Paper |
| Non-deterministic semantics for logics with a consistency operator | 2007-07-19 | Paper |
| Logical Approaches to Computational Barriers | 2007-04-30 | Paper |
| Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics | 2007-04-10 | Paper |
| Symbolic and Quantitative Approaches to Reasoning with Uncertainty | 2006-06-23 | Paper |
| Cut-elimination and quantification in canonical systems | 2006-03-17 | Paper |
| A non-deterministic view on non-classical negations | 2006-01-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3367317 | 2006-01-24 | Paper |
| Multi-valued Calculi for Logics Based on Non-determinism | 2005-11-08 | Paper |
| Mathematical Knowledge Management | 2005-08-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5311061 | 2005-08-22 | Paper |
| Non-deterministic Multiple-valued Structures | 2005-07-13 | Paper |
| Combining classical logic, paraconsistency and relevance | 2005-05-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4450442 | 2004-02-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4329280 | 2002-10-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4539639 | 2002-07-10 | Paper |
| Decomposition proof systems for Gödel-Dummett logics | 2002-06-17 | Paper |
| General patterns for nonmonotonic reasoning: from basic entailments to plausible relations | 2001-07-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2721190 | 2001-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2715514 | 2001-06-20 | Paper |
| Encoding modal logics in logical frameworks | 2001-02-14 | Paper |
| Implicational F-structures and implicational relevance logics | 2001-01-14 | Paper |
| On the expressive power of three-valued and four-valued languages | 2000-07-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4936119 | 2000-01-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4262996 | 1999-09-22 | Paper |
| Multiplicative conjunction and an algebraic meaning of contraction and weakening | 1999-07-15 | Paper |
| A model-theoretic approach for recovering consistent data from inconsistent knowledge bases | 1999-04-26 | Paper |
| The value of the four values | 1999-01-12 | Paper |
| Two types of multiple-conclusion systems | 1998-12-02 | Paper |
| Formulas for which contraction is admissible | 1998-07-20 | Paper |
| Multiplicative Conjunction as an Extensional Conjunction | 1997-06-02 | Paper |
| Hypersequents, logical consequence and intermediate logics for concurrency | 1997-05-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3837723 | 1997-05-12 | Paper |
| An exercise in an interactive geometrical research | 1997-05-11 | Paper |
| The structure of interlaced bilattices | 1996-11-18 | Paper |
| Reasoning with logical bilattices | 1996-07-28 | Paper |
| A note on the structure of bilattices | 1996-05-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4698608 | 1995-11-09 | Paper |
| Stability, sequentiality and demand driven evaluation in dataflow | 1995-04-06 | Paper |
| Some Properties of Linear Logic Proved by Semantic Methods | 1995-02-13 | Paper |
| Gentzen-type systems, resolution and tableaux | 1994-06-05 | Paper |
| Using typed lambda calculus to implement formal systems on a machine | 1993-12-20 | Paper |
| Whither relevance logic? | 1993-01-16 | Paper |
| Axiomatic System, Deduction and Implication | 1992-09-27 | Paper |
| A note of provability, truth and existence | 1992-06-27 | Paper |
| Natural 3-valued logics—characterization and proof theory | 1992-06-26 | Paper |
| Simple consequence relations | 1991-01-01 | Paper |
| Relevance and paraconsistency - a new approach. III: Cut-free Gentzen- type systems | 1991-01-01 | Paper |
| On strict strong constructibility with a compass alone | 1990-01-01 | Paper |
| Relevance and paraconsistency - a new approach. II: The formal systems | 1990-01-01 | Paper |
| Gentzenizing Schroeder-Heister's natural extension of natural deduction | 1990-01-01 | Paper |
| Relevance and paraconsistency—a new approach | 1990-01-01 | Paper |
| The semantics and proof theory of linear logic | 1988-01-01 | Paper |
| Theorems on strong constructibility with a compass alone | 1987-01-01 | Paper |
| A constructive analysis of RM | 1987-01-01 | Paper |
| On an implication connective of RM | 1986-01-01 | Paper |
| On purely relevant logics | 1986-01-01 | Paper |
| Relevant entailment—semantics and formal systems | 1984-01-01 | Paper |
| On modal systems having arithmetical interpretations | 1984-01-01 | Paper |
