This paper studies internal (or intra-) mathematical explanations, namely those proofs of
mathematical theorems that seem to explain the theorem they prove. The goal of the paper …

Gentzen's sequent calculi LK and LJ are landmark proof systems. They identify the structural
rules of weakening and contraction as notable inference rules, and they allow for an elegant …

Gentzen's sequent calculi LK and LJ are landmark proof systems. They identify the structural
rules of weakening and contraction as notable inference rules, and they allow for an elegant …

Expliquer pourquoi certaines choses se produisent autour de nous est une activité humaine
parmi les plus essentielles. Si notre lave-linge cesse tout à coup de fonctionner, nous …

This book develops some of the proof theory of classical, intuitionistic, and linear logics and
applies that theory to the design and applications of logic programming. In particular, we …

The concept of explanation is and has long been the object of deep and wide philosophical
debates; in particular it is the notion of causal explanation that has for decades dominated …

Focused proof systems Page 1 Focused proof systems Dale Miller Inria Saclay & LIX, École
Polytechnique Palaiseau, France Linear Logic Winter School, 28 January 2022 Extended …

Focusing Gentzen’s LK proof system Page 1 Focusing Gentzen’s LK proof system Dale Miller
Inria Saclay & LIX, École Polytechnique Palaiseau, France The Proof Theory Virtual Seminar …