, Logic Programming with Focusing Proofs in Linear Logic, Journal of Logic and Computation, vol.2, issue.3, pp.297-347, 1992.
DOI : 10.1093/logcom/2.3.297
, Hypersequents, logical consequence and intermediate logics for concurrency, Annals of Mathematics and Artificial Intelligence, vol.7, issue.3-4, pp.225-248, 1991.
DOI : 10.1007/BF01531058
, Algebraic proof theory for substructural logics: Cut-elimination and completions, Annals of Pure and Applied Logic, vol.163, issue.3, 2008.
DOI : 10.1016/j.apal.2011.09.003
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.221.3534
, From Axioms to Analytic Rules in Nonclassical Logics, 2008 23rd Annual IEEE Symposium on Logic in Computer Science, pp.229-240, 2008.
DOI : 10.1109/LICS.2008.39
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.405.8176
, Axiomatic Extensions of IMT3 Logic, Studia Logica, vol.71, issue.3, pp.311-324, 2005.
DOI : 10.1007/s11225-005-4647-7
, Finite products are biproducts in a compact closed category, Journal of Pure and Applied Algebra, vol.212, issue.2, 2008.
DOI : 10.1016/j.jpaa.2007.05.021
URL : http://doi.org/10.1016/j.jpaa.2007.05.021
, Power and Weakness of the Modal Display Calculus, Proof theory of modal logic, pp.93-121, 1996.
DOI : 10.1007/978-94-017-2798-3_7
, On the algebra of structural contexts, Accepted at Mathematical Structures in Computer Science, 2001.
URL : https://hal.archives-ouvertes.fr/inria-00099461
, Proof nets for the Lambek-calculus ? an overview, Proceedings of the Third Roma Workshop " Proofs and Linguistic Categories, pp.241-262, 1996.
URL : https://hal.archives-ouvertes.fr/inria-00098442
, From Proof Nets to the Free *-Autonomous Category, Logical Methods in Computer Science, vol.2, issue.4, pp.1-44, 2006.
DOI : 10.2168/LMCS-2(4:3)2006
URL : http://arxiv.org/abs/cs/0605054
, Completions of GBL algebras: negative results, Algebra Universalis, vol.58, pp.373-384, 2008.
, A sequent calculus for constructive logic with strong negation as a substructural logic
, Proof Theory for Casari's Comparative Logics, Journal of Logic and Computation, vol.16, issue.4, pp.405-422, 2006.
DOI : 10.1093/logcom/exl001
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.580.4215
, Sequent and hypersequent calculi for abelian and ??ukasiewicz logics, ACM Transactions on Computational Logic, vol.6, issue.3, pp.578-613, 2005.
DOI : 10.1145/1071596.1071600
URL : http://arxiv.org/abs/cs/0211021
, Abelien logic (from A to Z), Paraconsistent Logic: Essays on the Inconsistent, pp.245-288, 1989.
, A, still adorable In Paraconsistency: The Logical Way to the Inconsistent, Proceedings of the world congress on paraconsistency held in Sao Paulo), pp.241-260, 2002.
, Forum: A multiple-conclusion specification logic, Theoretical Computer Science, vol.165, issue.1, pp.201-232, 1996.
DOI : 10.1016/0304-3975(96)00045-X
URL : http://doi.org/10.1016/0304-3975(96)00045-x
, Residuated Lattices: an algebraic glimpse at substructural logics, 2007.
, Proof Analysis in Modal Logic, Journal of Philosophical Logic, vol.12, issue.5-6, pp.507-544, 2005.
DOI : 10.1007/s10992-005-2267-3
, Abstract, The Journal of Symbolic Logic, vol.6, issue.03, pp.979-1013, 2000.
DOI : 10.2307/2586685
, Some Syntactical Observations on Linear Logic, Journal of Logic and Computation, vol.1, issue.4, pp.537-559, 1991.
DOI : 10.1093/logcom/1.4.537
, A sequent calculus for compact closed categories, 2000.
, Polycategories, Communications in Algebra, vol.3, issue.8, pp.663-689, 1975.
DOI : 10.1305/ndjfl/1093891297
, Abstract, The Journal of Symbolic Logic, vol.4130, issue.03, pp.738-754, 2007.
DOI : 10.2178/jsl/1191333839