Jean-Baptiste Joinet

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Strong normalization for all-style \(\mathbf{LK}^\mathrm{tq}\) Theorem Proving with Analytic Tableaux and Related Methods	2019-01-10	Paper
scientific article; zbMATH DE number 6751849 (Why is no real title available?)	2017-07-25	Paper
Proofs, reasoning and the metamorphosis of logic Trends in Logic	2015-05-22	Paper
Opening logic to the world. Philosophy and mathematics of interaction	2009-05-26	Paper
Completeness of MLL proof-nets w.r.t. weak distributivity Journal of Symbolic Logic	2007-03-12	Paper
Linear logic and elementary time Information and Computation	2003-08-19	Paper
Computational isomorphisms in classical logic Theoretical Computer Science	2003-07-29	Paper
SN and CR for free-style LK^tq: linear decorations and simulation of normalization Journal of Symbolic Logic	2002-10-29	Paper
scientific article; zbMATH DE number 1231529 (Why is no real title available?)	1998-12-14	Paper
A new deconstructive logic: linear logic Journal of Symbolic Logic	1998-04-05	Paper
On the linear decoration of intuitionistic derivations Archive for Mathematical Logic	1995-09-11	Paper
scientific article; zbMATH DE number 786494 (Why is no real title available?)	1995-08-16	Paper
scientific article; zbMATH DE number 517072 (Why is no real title available?)	1994-03-17	Paper

Research outcomes over time

This page was built for person: Jean-Baptiste Joinet