| Publication | Date of Publication | Type |
|---|
| Axiomatic Thinking, Identity of Proofs and the Quest for an Intensional Proof-Theoretic Semantics | 2022-12-14 | Paper |
| Hypothetical reasoning and definitional reflection in logic programming | 2022-11-26 | Paper |
| Advances in Proof-Theoretic Semantics: Introduction | 2022-06-03 | Paper |
| Open Problems in Proof-Theoretic Semantics | 2022-06-03 | Paper |
| Restricting Initial Sequents: The Trade-Offs Between Identity, Contraction and Cut | 2020-08-07 | Paper |
| Harmony in Proof-Theoretic Semantics: A Reductive Analysis | 2020-02-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5224891 | 2019-07-24 | Paper |
| Obituary: Kosta Došen (1954--2017) | 2019-05-15 | Paper |
| Incompleteness of intuitionistic propositional logic with respect to proof-theoretic semantics | 2019-05-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3119360 | 2019-03-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4619902 | 2019-02-07 | Paper |
| Ekman's paradox | 2017-11-06 | Paper |
| Failure of completeness in proof-theoretic semantics | 2015-08-03 | Paper |
| Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus | 2015-05-22 | Paper |
| Proof-theoretic semantics, self-contradiction, and the format of deductive reasoning | 2015-03-27 | Paper |
| The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony | 2015-02-27 | Paper |
| Constructive semantics, admissibility of rules and the validity of Peirce's law | 2015-02-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2939750 | 2015-01-22 | Paper |
| ON FLATTENING ELIMINATION RULES | 2015-01-21 | Paper |
| The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics | 2013-11-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4919778 | 2013-05-15 | Paper |
| Definitional reflection and basic logic | 2013-03-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4903811 | 2013-01-27 | Paper |
| Implications-as-rules vs. implications-as-links: an alternative implication-left schema for the sequent calculus | 2011-02-18 | Paper |
| Generalized definitional reflection and the inversion principle | 2008-02-15 | Paper |
| Validity concepts in proof-theoretic semantics | 2006-08-18 | Paper |
| Frege's permutation argument revisited | 2006-02-08 | Paper |
| Resolution and the Origins of Structural Reasoning: Early Proof-Theoretic Ideas of Hertz and Gentzen | 2003-02-23 | Paper |
| Frege and the resolution calculus | 1998-05-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4012888 | 1992-09-27 | Paper |
| A Proof-Theoretic Approach to Logic Programming | 1992-06-27 | Paper |
| A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules | 1990-01-01 | Paper |
| Uniqueness, definability and interpolation | 1988-01-01 | Paper |
| A model-theoretic reconstruction of Frege's permutation argument | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3027002 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3751562 | 1985-01-01 | Paper |
| Popper's theory of deductive inference and the concept of a logical constant | 1984-01-01 | Paper |
| A natural extension of natural deduction | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5187256 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5187275 | 1984-01-01 | Paper |
| The completeness of intuitionistic logic with respect to a validity concept based on an inversion principle | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3661478 | 1981-01-01 | Paper |
