| Publication | Date of Publication | Type |
|---|
Some Remarks on Proof-Theoretic Semantics
Advances in Proof-Theoretic Semantics | 2022-06-03 | Paper |
Intuitionistic Decision Procedures Since Gentzen
Advances in Proof Theory | 2020-08-07 | Paper |
| scientific article; zbMATH DE number 7166982 (Why is no real title available?) | 2020-02-13 | Paper |
Cut elimination, substitution and normalisation
Dag Prawitz on Proofs and Meaning | 2020-02-04 | Paper |
Indirect proof and inversions of syllogisms
The Bulletin of Symbolic Logic | 2019-08-01 | Paper |
Analyticity, balance and non-admissibility of \textit{Cut} in stoic logic
Studia Logica | 2019-06-19 | Paper |
CONTRACTION-FREE SEQUENT CALCULI FOR INTUITIONISTIC LOGIC: A CORRECTION
Journal of Symbolic Logic | 2019-01-04 | Paper |
POSIX Lexing with Derivatives of Regular Expressions (Proof Pearl)
Interactive Theorem Proving | 2016-10-27 | Paper |
Algebra, proof theory and applications for a logic of propositions, actions and adjoint modal operators
Electronic Notes in Theoretical Computer Science | 2016-07-08 | Paper |
Positive logic with adjoint modalities: proof theory, semantics and reasoning about information
Electronic Notes in Theoretical Computer Science | 2016-05-10 | Paper |
A cut-free sequent system for Grzegorczyk logic, with an application to the Gödel-McKinsey-Tarski embedding
Journal of Logic and Computation | 2016-04-28 | Paper |
Geometrisation of first-order logic
The Bulletin of Symbolic Logic | 2016-03-18 | Paper |
Invited Talk: Coherentisation of First-Order Logic
Lecture Notes in Computer Science | 2015-12-11 | Paper |
Algebra, proof theory and applications for an intuitionistic logic of propositions, actions and adjoint modal operators
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
A note on harmony
Journal of Philosophical Logic | 2012-09-20 | Paper |
Proof analysis in intermediate logics
Archive for Mathematical Logic | 2012-02-10 | Paper |
A focused sequent calculus framework for proof search in pure type systems
Logical Methods in Computer Science | 2011-05-26 | Paper |
POSITIVE LOGIC WITH ADJOINT MODALITIES: PROOF THEORY, SEMANTICS, AND REASONING ABOUT INFORMATION
The Review of Symbolic Logic | 2010-10-14 | Paper |
Proof-theoretic semantics for a natural language fragment
Lecture Notes in Computer Science | 2010-08-31 | Paper |
Proof-theoretic semantics for subsentential phrases
Studia Logica | 2010-05-07 | Paper |
A Sequent Calculus for Type Theory
Computer Science Logic | 2009-03-12 | Paper |
Strong Cut-Elimination Systems for Hudelmaier’s Depth-Bounded Sequent Calculus for Implicational Logic
Automated Reasoning | 2009-03-12 | Paper |
Call-by-Value -calculus and LJQ
Journal Of Logic And Computation | 2008-02-07 | Paper |
Logical Approaches to Computational Barriers
Lecture Notes in Computer Science | 2007-04-30 | Paper |
Decision methods for linearly ordered Heyting algebras
Archive for Mathematical Logic | 2006-05-26 | Paper |
Strong Normalization of Herbelin's Explicit Substitution Calculus with Substitution Propagation
Journal Of Logic And Computation | 2004-01-28 | Paper |
Admissibility of structural rules for extensions of contraction-free sequent calculi
Logic Journal of the IGPL | 2002-05-13 | Paper |
Admissibility of structural rules for contraction-free systems of intuitionistic logic
The Journal of Symbolic Logic | 2001-07-16 | Paper |
Cut-elimination and a permutation-free sequent calculus for intuitionistic logic
Studia Logica | 2000-09-04 | Paper |
A deterministic terminating sequent calculus for Godel-Dummett logic
Logic Journal of the IGPL | 2000-01-25 | Paper |
| scientific article; zbMATH DE number 1390270 (Why is no real title available?) | 2000-01-17 | Paper |
Permutability of proofs in intuitionistic sequent calculi
Theoretical Computer Science | 1999-01-12 | Paper |
| scientific article; zbMATH DE number 1231701 (Why is no real title available?) | 1999-01-10 | Paper |
| scientific article; zbMATH DE number 895271 (Why is no real title available?) | 1996-10-27 | Paper |
Contraction-free sequent calculi for intuitionistic logic
Journal of Symbolic Logic | 1993-04-01 | Paper |
Exponentiable morphisms, partial products and pullback complements
Journal of Pure and Applied Algebra | 1987-01-01 | Paper |
Total reflections, partial products, and hereditary factorizations
Topology and its Applications | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3581232 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3536931 (Why is no real title available?) | 1976-01-01 | Paper |
Projective resolutions of topological spaces
Journal of Pure and Applied Algebra | 1976-01-01 | Paper |
Categorical cuts
General Topology and its Applications | 1976-01-01 | Paper |
PERFECT LIGHT MAPS AS INVERSE LIMITS
The Quarterly Journal of Mathematics | 1974-01-01 | Paper |
Simple Classes of Complete Spaces
Journal of the London Mathematical Society | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3395022 (Why is no real title available?) | 1973-01-01 | Paper |
Factorisation theorems and projective spaces in topology
Mathematische Zeitschrift | 1972-01-01 | Paper |
