| Publication | Date of Publication | Type |
|---|
Comments on an Opinion
Advances in Proof-Theoretic Semantics | 2022-06-03 | Paper |
On the Paths of Categories
Advances in Proof-Theoretic Semantics | 2022-06-03 | Paper |
On sets of premises
Concepts of Proof in Mathematics, Philosophy, and Computer Science | 2020-04-03 | Paper |
Inferential Semantics
Dag Prawitz on Proofs and Meaning | 2020-02-04 | Paper |
Gödel on deduction
Studia Logica | 2019-05-15 | Paper |
Gödel's natural deduction
Studia Logica | 2018-04-16 | Paper |
Gödel's Notre Dame course
The Bulletin of Symbolic Logic | 2017-07-21 | Paper |
scientific article; zbMATH DE number 6741930 (Why is no real title available?)
| 2017-07-11 | Paper |
Representing conjunctive deductions by disjunctive deductions
The Review of Symbolic Logic | 2017-05-31 | Paper |
Logic Lectures: G\"odel's Basic Logic Course at Notre Dame
| 2017-05-07 | Paper |
G\"odel on Deduction
| 2016-04-10 | Paper |
A planarity criterion for graphs
SIAM Journal on Discrete Mathematics | 2015-11-18 | Paper |
Graphs for Juncture
| 2015-05-05 | Paper |
Weak Cat-operads
Logical Methods in Computer Science | 2015-04-22 | Paper |
Symmetric self-adjunctions and matrices
Algebra Colloquium | 2014-08-20 | Paper |
Proof-net categories
| 2014-04-23 | Paper |
Graphs of plural cuts
Theoretical Computer Science | 2013-12-04 | Paper |
Ordinals in Frobenius monads
Journal of Pure and Applied Algebra | 2013-06-24 | Paper |
Coherence of proof-net categories
Publications de l'Institut Math?matique (Belgrade) | 2013-06-10 | Paper |
A prologue to the theory of deduction
| 2013-04-24 | Paper |
The Typed Böhm Theorem
Electronic Notes in Theoretical Computer Science | 2013-04-19 | Paper |
Syntax for split preorders
Annals of Pure and Applied Logic | 2013-03-15 | Paper |
Shuffles and concatenations in the construction of graphs
Mathematical Structures in Computer Science | 2012-11-22 | Paper |
Intermutation
Applied Categorical Structures | 2012-05-23 | Paper |
Isomorphic formulae in classical propositional logic
Mathematical Logic Quarterly | 2012-02-29 | Paper |
Hypergraph polytopes
Topology and its Applications | 2011-08-04 | Paper |
Negation and involutive adjunctions
| 2011-06-21 | Paper |
Coherence for modalities
Journal of Pure and Applied Algebra | 2011-04-29 | Paper |
Bicartesian Coherence Revisited
| 2011-01-26 | Paper |
Symmetric self-adjunctions: a justification of Brauer's representation of Brauer's algebras
| 2011-01-25 | Paper |
Coherence for monoidal monads and comonads
Mathematical Structures in Computer Science | 2010-08-26 | Paper |
Coherence for monoidal endofunctors
Mathematical Structures in Computer Science | 2010-08-26 | Paper |
Coherence in linear predicate logic
Annals of Pure and Applied Logic | 2009-04-09 | Paper |
Equality of proofs for linear equality
Archive for Mathematical Logic | 2008-09-12 | Paper |
Simplicial Endomorphisms
Communications in Algebra | 2008-07-23 | Paper |
Relevant categories and partial functions
| 2008-07-02 | Paper |
Medial commutativity
Annals of Pure and Applied Logic | 2007-05-23 | Paper |
A NEW PROOF OF THE FAITHFULNESS OF BRAUER'S REPRESENTATION OF TEMPERLEY–LIEB ALGEBRAS
International Journal of Algebra and Computation | 2007-02-07 | Paper |
Models of deduction
Synthese | 2006-08-18 | Paper |
Coherence for star-autonomous categories
Annals of Pure and Applied Logic | 2006-08-16 | Paper |
Associativity as commutativity
Journal of Symbolic Logic | 2006-07-05 | Paper |
Proof-theoretical coherence
| 2006-03-27 | Paper |
Coherence and Confluence
| 2005-06-15 | Paper |
Generality of proofs and its Brauerian representation
Journal of Symbolic Logic | 2005-02-09 | Paper |
Identity of Proofs Based on Normalization and Generality
The Bulletin of Symbolic Logic | 2005-02-09 | Paper |
The geometry of self-adjunction
Publications de l'Institut Mathematique | 2005-01-03 | Paper |
A Brauerian representation of split preorders
Mathematical Logic Quarterly | 2004-02-12 | Paper |
scientific article; zbMATH DE number 2006632 (Why is no real title available?)
| 2003-11-23 | Paper |
Self-adjunctions and matrices.
Journal of Pure and Applied Algebra | 2003-09-15 | Paper |
Bicartesian coherence
Studia Logica | 2002-12-15 | Paper |
scientific article; zbMATH DE number 1823882 (Why is no real title available?)
| 2002-11-05 | Paper |
scientific article; zbMATH DE number 1823815 (Why is no real title available?)
| 2002-11-05 | Paper |
Kauffman Monoids
Journal of Knot Theory and Its Ramifications | 2002-07-30 | Paper |
Deductive systems and categories
Publications de l'Institut Mathématique. Nouvelle Série | 2002-02-26 | Paper |
Negation in the light of modal logic
| 2001-12-18 | Paper |
scientific article; zbMATH DE number 1471986 (Why is no real title available?)
| 2001-10-28 | Paper |
The maximality of the typed lambda calculus and of cartesian closed categories
Publications de l'Institut Mathématique. Nouvelle Série | 2001-07-08 | Paper |
The maximality of Cartesian categories
Mathematical Logic Quarterly (MLQ) | 2001-03-28 | Paper |
On permuting cut with contraction
Mathematical Structures in Computer Science | 2000-07-24 | Paper |
scientific article; zbMATH DE number 1406807 (Why is no real title available?)
| 2000-02-28 | Paper |
Cartesian isomorphisms are symmetric monoidal: A justification of linear logic
Journal of Symbolic Logic | 2000-01-09 | Paper |
Cut elimination in categories
Trends in Logic -- Studia Logica Library | 2000-01-04 | Paper |
scientific article; zbMATH DE number 1361523 (Why is no real title available?)
| 1999-11-10 | Paper |
scientific article; zbMATH DE number 1303452 (Why is no real title available?)
| 1999-10-28 | Paper |
Functions Redefined
The American Mathematical Monthly | 1999-08-17 | Paper |
scientific article; zbMATH DE number 1163995 (Why is no real title available?)
| 1999-02-22 | Paper |
Isomorphic objects in symmetric monoidal closed categories
Mathematical Structures in Computer Science | 1998-10-01 | Paper |
scientific article; zbMATH DE number 1178243 (Why is no real title available?)
| 1998-07-22 | Paper |
scientific article; zbMATH DE number 970632 (Why is no real title available?)
| 1997-03-16 | Paper |
Deductive Completeness
The Bulletin of Symbolic Logic | 1997-01-26 | Paper |
scientific article; zbMATH DE number 956469 (Why is no real title available?)
| 1996-12-11 | Paper |
scientific article; zbMATH DE number 956470 (Why is no real title available?)
| 1996-12-11 | Paper |
scientific article; zbMATH DE number 753778 (Why is no real title available?)
| 1995-12-13 | Paper |
scientific article; zbMATH DE number 757639 (Why is no real title available?)
| 1995-05-23 | Paper |
Modal logic as metalogic
Journal of Logic, Language and Information | 1994-08-21 | Paper |
A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS
Mathematical Logic Quarterly | 1994-06-08 | Paper |
Rudimentary Kripke models for the intuitionistic propositional calculus
Annals of Pure and Applied Logic | 1993-08-09 | Paper |
scientific article; zbMATH DE number 218532 (Why is no real title available?)
| 1993-06-29 | Paper |
The first axiomatization of relevant logic
Journal of Philosophical Logic | 1993-04-01 | Paper |
Modal translations in substructural logics
Journal of Philosophical Logic | 1993-01-16 | Paper |
Nonmodal classical linear predicate logic is a fragment of intuitionistic linear logic
Theoretical Computer Science | 1992-09-27 | Paper |
Ancestral Kripke models and nonhereditary Kripke models for the Heyting propositional calculus
Notre Dame Journal of Formal Logic | 1992-06-28 | Paper |
Rudimentary Beth Models and Conditionally Rudimentary Kripke Models for the Heyting Propositional Calculus
Journal Of Logic And Computation | 1992-06-27 | Paper |
scientific article; zbMATH DE number 4197953 (Why is no real title available?)
| 1990-01-01 | Paper |
Sequent-systems and groupoid models. II
Studia Logica | 1989-01-01 | Paper |
Logical constants as punctuation marks
Notre Dame Journal of Formal Logic | 1989-01-01 | Paper |
Duality between modal algebras and neighbourhood frames
Studia Logica | 1989-01-01 | Paper |
scientific article; zbMATH DE number 4070861 (Why is no real title available?)
| 1988-01-01 | Paper |
Sequent-systems and groupoid models. I
Studia Logica | 1988-01-01 | Paper |
scientific article; zbMATH DE number 4135908 (Why is no real title available?)
| 1988-01-01 | Paper |
Uniqueness, definability and interpolation
Journal of Symbolic Logic | 1988-01-01 | Paper |
scientific article; zbMATH DE number 4061191 (Why is no real title available?)
| 1987-01-01 | Paper |
scientific article; zbMATH DE number 4043818 (Why is no real title available?)
| 1987-01-01 | Paper |
A Note on Gentzen's Decision Procedure for Intuitionistic Propositional Logic
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1987-01-01 | Paper |
scientific article; zbMATH DE number 4035773 (Why is no real title available?)
| 1986-01-01 | Paper |
scientific article; zbMATH DE number 4016857 (Why is no real title available?)
| 1986-01-01 | Paper |
scientific article; zbMATH DE number 3981153 (Why is no real title available?)
| 1986-01-01 | Paper |
scientific article; zbMATH DE number 3961579 (Why is no real title available?)
| 1986-01-01 | Paper |
scientific article; zbMATH DE number 3939326 (Why is no real title available?)
| 1986-01-01 | Paper |
Models for stronger normal intuitionistic modal logics
Studia Logica | 1985-01-01 | Paper |
Sequent-systems for modal logic
Journal of Symbolic Logic | 1985-01-01 | Paper |
A Completeness Theorem for the Lambek Calculus of Syntactic Categories
Mathematical Logic Quarterly | 1985-01-01 | Paper |
An intuitionistic Sheffer function
Notre Dame Journal of Formal Logic | 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 3979042 (Why is no real title available?)
| 1985-01-01 | Paper |
scientific article; zbMATH DE number 3871337 (Why is no real title available?)
| 1985-01-01 | Paper |
scientific article; zbMATH DE number 3884136 (Why is no real title available?)
| 1984-01-01 | Paper |
Models for normal intuitionistic modal logics
Studia Logica | 1984-01-01 | Paper |
scientific article; zbMATH DE number 3884137 (Why is no real title available?)
| 1984-01-01 | Paper |
scientific article; zbMATH DE number 3861121 (Why is no real title available?)
| 1983-01-01 | Paper |
scientific article; zbMATH DE number 3777451 (Why is no real title available?)
| 1981-01-01 | Paper |
A reduction of classical propositional logic to the conjunction-negation fragment of an intuitionistic relevant logic
Journal of Philosophical Logic | 1981-01-01 | Paper |
A note on the law of identity and the converse Parry property
Notre Dame Journal of Formal Logic | 1978-01-01 | Paper |
