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
The Foundations of Mathematics, 1959. ,
MacNeille completions of FL-algebras, Algebra universalis, vol.28, issue.4, pp.405-420, 2011. ,
DOI : 10.1007/s00012-011-0160-1
Combining classical and intuitionistic logic, or: intuitionistic implication as a conditional, Frontiers of Combining Systems: 1st International Workshop, pp.93-102, 1996. ,
Expanding the Realm of Systematic Proof Theory, Computer Science Logic, CSL'09, pp.163-178, 2009. ,
DOI : 10.2178/jsl/1191333839
URL : https://hal.archives-ouvertes.fr/inria-00436420
Mathematical Intuitionism: Introduction to Proof Theory, volume 67 of Translations of Mathematical Monographs, 1988. ,
Contraction-free sequent calculi for intuitionistic logic, The Journal of Symbolic Logic, vol.475, issue.03, pp.795-807, 1992. ,
DOI : 10.1007/3-540-54487-9_58
Intuitionistic Logic Model Theory and Forcing, 1969. ,
On Various Negative Translations, Proceedings of the Third International Workshop on Classical Logic and Computation of Electronic Proceedings in Theoretical Computer Science, pp.21-33, 2010. ,
DOI : 10.4204/EPTCS.47.4
Investigations into logical deduction The Collected Papers of Gerhard Gentzen Translation of articles that, pp.68-131, 1969. ,
A new constructive logic: classic logic, Mathematical Structures in Computer Science, vol.7, issue.2, pp.255-296, 1991. ,
DOI : 10.1016/0304-3975(87)90045-4
On the unity of logic, Annals of Pure and Applied Logic, vol.59, issue.3, pp.201-217, 1993. ,
DOI : 10.1016/0168-0072(93)90093-S
URL : https://hal.archives-ouvertes.fr/inria-00075095
Sur quelques points de la logique de M. Brouwer. Academie Royale de Belgique, Bulletins de la classe des sciences, ser, pp.183-188, 1929. ,
Dual Intuitionistic Logic Revisited, LNCS, vol.1847, pp.252-267, 2000. ,
DOI : 10.1007/10722086_21
Kripke models for classical logic, Annals of Pure and Applied Logic, vol.161, issue.11, pp.1367-1378, 2010. ,
DOI : 10.1016/j.apal.2010.04.007
URL : https://hal.archives-ouvertes.fr/inria-00371959
Semantical analysis of intuitionistic logic I. Formal Systems and Recursive Functions, pp.92-130, 1965. ,
Proof nets for intuitionistic linear logic: Essential nets, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00347336
Etude de la polarisation en logique, 2002. ,
URL : https://hal.archives-ouvertes.fr/tel-00007884
Focusing and polarization in linear, intuitionistic, and classical logics, Theoretical Computer Science, vol.410, issue.46, pp.4747-4768, 2009. ,
DOI : 10.1016/j.tcs.2009.07.041
A focused approach to combining logics, Annals of Pure and Applied Logic, vol.162, issue.9, pp.679-697, 2011. ,
DOI : 10.1016/j.apal.2011.01.012
URL : https://hal.archives-ouvertes.fr/hal-00772736
Algorithmic specifications in linear logic with subexponentials, Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming, PPDP '09, pp.129-140, 2009. ,
DOI : 10.1145/1599410.1599427
A formalization of the propositional calculus of H-B logic, Studia Logica, vol.33, pp.23-34, 1974. ,
Basic Proof Theory, 1996. ,
DOI : 10.1017/CBO9781139168717
An Intuitionistic Completeness Theorem for Intuitionistic Predicate Logic, The Journal of Symbolic Logic, vol.41, issue.1, pp.159-166, 1976. ,
DOI : 10.2307/2272955