| Publication | Date of Publication | Type |
|---|
| Proof-theoretic semantics: an autobiographical survey | 2024-10-01 | Paper |
| Comments on the contributions | 2024-10-01 | Paper |
| Intensional proof-theoretic semantics and the rule of contraction | 2024-09-06 | Paper |
Axiomatic Thinking, Identity of Proofs and the Quest for an Intensional Proof-Theoretic Semantics
Axiomatic Thinking I | 2022-12-14 | Paper |
Hypothetical reasoning and definitional reflection in logic programming
Extensions of Logic Programming | 2022-11-26 | Paper |
Open Problems in Proof-Theoretic Semantics
Advances in Proof-Theoretic Semantics | 2022-06-03 | Paper |
Advances in Proof-Theoretic Semantics: Introduction
Advances in Proof-Theoretic Semantics | 2022-06-03 | Paper |
Restricting Initial Sequents: The Trade-Offs Between Identity, Contraction and Cut
Advances in Proof Theory | 2020-08-07 | Paper |
Harmony in Proof-Theoretic Semantics: A Reductive Analysis
Dag Prawitz on Proofs and Meaning | 2020-02-04 | Paper |
| The definitional view of atomic systems in proof-theoretic semantics | 2019-07-24 | Paper |
Incompleteness of intuitionistic propositional logic with respect to proof-theoretic semantics
Studia Logica | 2019-05-15 | Paper |
Obituary: Kosta Došen (1954--2017)
Studia Logica | 2019-05-15 | Paper |
| Proof-theoretic validity based on elimination rules | 2019-03-11 | Paper |
| scientific article; zbMATH DE number 7015190 (Why is no real title available?) | 2019-02-07 | Paper |
Ekman's paradox
Notre Dame Journal of Formal Logic | 2017-11-06 | Paper |
Failure of completeness in proof-theoretic semantics
Journal of Philosophical Logic | 2015-08-03 | Paper |
Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus
Trends in Logic | 2015-05-22 | Paper |
Proof-theoretic semantics, self-contradiction, and the format of deductive reasoning
Topoi | 2015-03-27 | Paper |
Constructive semantics, admissibility of rules and the validity of Peirce's law
Logic Journal of the IGPL | 2015-02-27 | Paper |
The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony
Studia Logica | 2015-02-27 | Paper |
| scientific article; zbMATH DE number 6389756 (Why is no real title available?) | 2015-01-22 | Paper |
On flattening elimination rules
The Review of Symbolic Logic | 2015-01-21 | Paper |
The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics
Synthese | 2013-11-25 | Paper |
| Implications as rules in dialogical semantics | 2013-05-15 | Paper |
Definitional reflection and basic logic
Annals of Pure and Applied Logic | 2013-03-15 | Paper |
| Sequent calculi and bidirectional natural deduction: on the proper basis of proof-theoretic semantics | 2013-01-27 | Paper |
Implications-as-rules vs. implications-as-links: an alternative implication-left schema for the sequent calculus
Journal of Philosophical Logic | 2011-02-18 | Paper |
Generalized definitional reflection and the inversion principle
Logica Universalis | 2008-02-15 | Paper |
Validity concepts in proof-theoretic semantics
Synthese | 2006-08-18 | Paper |
Frege's permutation argument revisited
Synthese | 2006-02-08 | Paper |
Resolution and the Origins of Structural Reasoning: Early Proof-Theoretic Ideas of Hertz and Gentzen
The Bulletin of Symbolic Logic | 2003-02-23 | Paper |
Frege and the resolution calculus
History and Philosophy of Logic | 1998-05-29 | Paper |
| scientific article; zbMATH DE number 65539 (Why is no real title available?) | 1992-09-27 | Paper |
A Proof-Theoretic Approach to Logic Programming
Journal Of Logic And Computation | 1992-06-27 | Paper |
A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules
Journal Of Logic And Computation | 1990-01-01 | Paper |
Uniqueness, definability and interpolation
Journal of Symbolic Logic | 1988-01-01 | Paper |
A model-theoretic reconstruction of Frege's permutation argument
Notre Dame Journal of Formal Logic | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4014710 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3987256 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3895056 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3895032 (Why is no real title available?) | 1984-01-01 | Paper |
A natural extension of natural deduction
Journal of Symbolic Logic | 1984-01-01 | Paper |
Popper's theory of deductive inference and the concept of a logical constant
History and Philosophy of Logic | 1984-01-01 | Paper |
The completeness of intuitionistic logic with respect to a validity concept based on an inversion principle
Journal of Philosophical Logic | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3813515 (Why is no real title available?) | 1981-01-01 | Paper |
